1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
{
"name": "NuSmv",
"description": "Reimplementation and extension of SMV symbolic model checker",
"url": "http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz",
"mirror": null,
"homepage": "http://nusmv.fbk.eu",
"depends": [
{
"depend": "cmake",
"build-depend": true
}
],
"resource": [],
"conflicts": [],
"patches": [],
"install": [
"mkdir \"NuSMV/build\" do",
"system \"cmake\", \"..\", *std_cmake_args",
"system \"make\", \"install\""
],
"version": "2.6.0",
"file": "nu-smv.rb"
}
|
