diff options
| author | malet | 2018-12-25 18:00:00 +0100 |
|---|---|---|
| committer | malet | 2018-12-25 18:00:00 +0100 |
| commit | e6567a2a7002cd71ec312388276da766d272342c (patch) | |
| tree | aa7c5ca66191a6f1b1b94cc5312a280c918fa0da /.SRCINFO | |
| download | aur-nusmv-bin.tar.gz | |
Adding nusmv binary build without zchaff
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..89813d278527 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = nusmv-bin + pkgdesc = A new symbolic model checker + pkgver = 2.6.0 + pkgrel = 1 + url = http://nusmv.fbk.eu/index.html + arch = x86_64 + license = LGPL2.1 + provides = nusmv + conflicts = nusmv + source = nusmv-bin-2.6.0.tar.gz::http://nusmv.fbk.eu/distrib/NuSMV-2.6.0-linux64.tar.gz + sha256sums = 11b12e42bc04566c4ec1f7cc205fa8704382ac4d69e052154cbb59c9b7e8e08c + +pkgname = nusmv-bin + |