diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Wed May 15 13:28:41 UTC 2019 +# Wed May 15 16:01:27 UTC 2019 pkgbase = nusmv pkgdesc = A new symbolic model checker pkgver = 2.6.0 - pkgrel = 3 + pkgrel = 4 url = http://nusmv.fbk.eu/index.html arch = i686 arch = x86_64 @@ -12,6 +12,7 @@ pkgbase = nusmv makedepends = python2 makedepends = ghostscript makedepends = texlive-latexextra + makedepends = doxygen depends = libxml2 optdepends = perl: for scripts in /usr/share/nusmv/contrib/ source = http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz |