diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2018-08-20 15:24:32 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-08-20 15:24:32 +0000 |
| commit | 0017b2f10e90f56c0f53bf5e0ed9a6a17daa91cb (patch) | |
| tree | 90e690768cc75202e57df15d57a3f101efc0a143 /metadata/md5-cache/sci-mathematics/nusmv-2.6.0 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-0017b2f10e90f56c0f53bf5e0ed9a6a17daa91cb.tar.gz gentoo-0017b2f10e90f56c0f53bf5e0ed9a6a17daa91cb.tar.bz2 gentoo-0017b2f10e90f56c0f53bf5e0ed9a6a17daa91cb.zip | |
2018-08-20 15:24:32 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/nusmv-2.6.0')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/nusmv-2.6.0 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 b/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 index 36238b6f798f..cb40d9365607 100644 --- a/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 +++ b/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 @@ -1,5 +1,5 @@ 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.9.6 +DEPEND=minisat? ( >=sci-mathematics/minisat-2.2.0_p20130925 ) doc? ( virtual/latex-base dev-texlive/texlive-latexextra app-doc/doxygen ) app-arch/unzip dev-libs/libxml2 || ( >=dev-lang/python-2.7.5-r2:2.7 ) sys-devel/make >=dev-util/cmake-3.9.6 DESCRIPTION=NuSMV: new symbolic model checker EAPI=6 HOMEPAGE=http://nusmv.fbk.eu/ @@ -11,4 +11,4 @@ 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 ec27c4d90ac99a1a0fb77d97bfc597ee desktop b1d22ac8bdd4679ab79c71aca235009d epatch a1bf4756dba418a7238f3be0cb010c54 estack 43ddf5aaffa7a8d0482df54d25a66a1f eutils 6e6c2737b59a4b982de6fb3ecefd87f8 flag-o-matic 5128c4729303400bd8d4b0b966530955 ltprune 08f9e1d9ee0af8f5d9a7854efbcd8c0e multilib 97f470f374f2e94ccab04a2fb21d811e multiprocessing cac3169468f893670dac3e7cb940e045 ninja-utils 132cbb376048d079b5a012f5467c4e7f preserve-libs ef207dc62baddfddfd39a164d9797648 python-any-r1 4900ae970f827a22d33d41bd8b8f9ace python-utils-r1 12114a2a9aab35b93efc037a196b3234 toolchain-funcs 1e35303c63cd707f6c3422b4493d5607 vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf xdg-utils 89bb9f083a2590d9b447fd0b78a96186 -_md5_=94ba7b6cb25ef676937a346c8d3b3863 +_md5_=d6bdea5e3e221c3a7b4a323fc3f6b995 |