diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /metadata/md5-cache/sci-mathematics/nusmv-2.6.0 | |
reinit the tree, so we can have metadata
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/nusmv-2.6.0')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/nusmv-2.6.0 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 b/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 new file mode 100644 index 000000000000..6ae0d43b7867 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 @@ -0,0 +1,14 @@ +DEFINED_PHASES=compile configure install prepare setup test unpack +DEPEND=minisat? ( >=sci-mathematics/minisat-2.2.0_p20130925 ) doc? ( virtual/latex-base dev-texlive/texlive-latexextra app-doc/doxygen ) dev-libs/libxml2 || ( >=dev-lang/python-2.7.5-r2:2.7 ) sys-devel/make >=dev-util/cmake-3.7.2 +DESCRIPTION=NuSMV: new symbolic model checker +EAPI=6 +HOMEPAGE=http://nusmv.fbk.eu/ +IUSE=minisat doc zchaff +KEYWORDS=~amd64 ~x86 +LICENSE=LGPL-2.1 +RDEPEND=minisat? ( >=sci-mathematics/minisat-2.2.0_p20130925 ) dev-libs/expat +REQUIRED_USE=|| ( minisat zchaff ) +SLOT=0 +SRC_URI=http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz zchaff? ( http://www.princeton.edu/~chaff/zchaff/zchaff.64bit.2007.3.12.zip ) +_eclasses_=cmake-utils f9fb12e2dbe2e0c9c17f030bae85eb02 epatch 8233751dc5105a6ae8fcd86ce2bb0247 estack 43ddf5aaffa7a8d0482df54d25a66a1f eutils 227b041a120d309fdefbebb3b8c1dfa9 flag-o-matic 2274fcc1e7ef6affaff5bcd636275417 ltprune 2770eed66a9b8ef944714cd0e968182e multilib 97f470f374f2e94ccab04a2fb21d811e multiprocessing 6f5991c7101863d0b29df63990ad852e ninja-utils ebb2eaddc6331c4fa000b8eb8f6fe074 python-any-r1 27d7f9da7187d283b7f3eae8390b7b09 python-utils-r1 c9de01becf9df3f8c10aeec3dc693f5d toolchain-funcs 185a06792159ca143528e7010368e8af versionator c80ccf29e90adea7c5cae94b42eb76d0 +_md5_=94ba7b6cb25ef676937a346c8d3b3863 |