diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Wed May 15 16:01:27 UTC 2019 +# Tue May 24 18:22:38 UTC 2022 pkgbase = nusmv pkgdesc = A new symbolic model checker pkgver = 2.6.0 @@ -13,6 +13,8 @@ pkgbase = nusmv makedepends = ghostscript makedepends = texlive-latexextra makedepends = doxygen + makedepends = flex + makedepends = bison depends = libxml2 optdepends = perl: for scripts in /usr/share/nusmv/contrib/ source = http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz |