diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-01-01 20:42:22 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-01-01 20:42:22 +0000 |
commit | 721254b86a09bdedd5eefd0de7899c90ea2ead1a (patch) | |
tree | 895fca7b3bd570d8df743dd518a6f36deca1a241 /metadata/md5-cache/sci-mathematics/nusmv-2.6.0 | |
parent | 618c3037024b4e5328531cdc07c6ceb7486f5329 (diff) |
gentoo resync : 01.01.2018
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/nusmv-2.6.0')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/nusmv-2.6.0 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 b/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 index d1521b9d9a8e..1b60654131d8 100644 --- a/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 +++ b/metadata/md5-cache/sci-mathematics/nusmv-2.6.0 @@ -10,5 +10,5 @@ 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 77a5a8d3308359caadcdd91688f20093 desktop 2ccd1dd1dd7bfb8795eea024a4f91bb6 epatch 8233751dc5105a6ae8fcd86ce2bb0247 estack 43ddf5aaffa7a8d0482df54d25a66a1f eutils 97ce9decef1ff4b6c5be700283f67343 flag-o-matic 02908f00f002f0f07c5b74783d778325 ltprune 2770eed66a9b8ef944714cd0e968182e multilib 97f470f374f2e94ccab04a2fb21d811e multiprocessing 6f5991c7101863d0b29df63990ad852e ninja-utils ebb2eaddc6331c4fa000b8eb8f6fe074 python-any-r1 27d7f9da7187d283b7f3eae8390b7b09 python-utils-r1 c9de01becf9df3f8c10aeec3dc693f5d toolchain-funcs 185a06792159ca143528e7010368e8af versionator c80ccf29e90adea7c5cae94b42eb76d0 xdg-utils f2c8335407f0b935b0a96d4adf23ef25 +_eclasses_=cmake-utils 77a5a8d3308359caadcdd91688f20093 desktop 2ccd1dd1dd7bfb8795eea024a4f91bb6 epatch 8233751dc5105a6ae8fcd86ce2bb0247 estack 43ddf5aaffa7a8d0482df54d25a66a1f eutils 97ce9decef1ff4b6c5be700283f67343 flag-o-matic 02908f00f002f0f07c5b74783d778325 ltprune 2770eed66a9b8ef944714cd0e968182e multilib 97f470f374f2e94ccab04a2fb21d811e multiprocessing 6f5991c7101863d0b29df63990ad852e ninja-utils ebb2eaddc6331c4fa000b8eb8f6fe074 python-any-r1 27d7f9da7187d283b7f3eae8390b7b09 python-utils-r1 c9de01becf9df3f8c10aeec3dc693f5d toolchain-funcs 885c7d8dd70a58825f3d17e35a3cd1e9 versionator c80ccf29e90adea7c5cae94b42eb76d0 xdg-utils f2c8335407f0b935b0a96d4adf23ef25 _md5_=94ba7b6cb25ef676937a346c8d3b3863 |