summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Volkov <pva@gentoo.org>2009-12-26 17:46:30 +0000
committerPeter Volkov <pva@gentoo.org>2009-12-26 17:46:30 +0000
commit0b1777a168484d93a6f6ba09205c0043e96e7354 (patch)
tree134096e9db89865d01fc995b3fa6a3ccf19c3fc4 /sci-mathematics
parentvirtual/ghostscript->app-text/ghostscript-gpl: ghostscript-gpl is the only im... (diff)
downloadgentoo-2-0b1777a168484d93a6f6ba09205c0043e96e7354.tar.gz
gentoo-2-0b1777a168484d93a6f6ba09205c0043e96e7354.tar.bz2
gentoo-2-0b1777a168484d93a6f6ba09205c0043e96e7354.zip
virtual/ghostscript->app-text/ghostscript-gpl: ghostscript-gpl is the only implementation left in the tree.
(Portage version: 2.1.7.16/cvs/Linux x86_64) (Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/nusmv/Manifest4
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest
index df753b6f685a..2a65d1d4c91c 100644
--- a/sci-mathematics/nusmv/Manifest
+++ b/sci-mathematics/nusmv/Manifest
@@ -1,6 +1,6 @@
AUX MiniSat_v1.14-optimizedlib.patch 1112 RMD160 9ae63aef1b74fac1bad9ee62049460856b5c5982 SHA1 7a2ee88eef0591690a2a728c07b68fdd882addda SHA256 21016b1ce69553c058385afa93f13248dbdc398c7968609d86dd9b707e227bfb
DIST MiniSat_v1.14_src.zip 29428 RMD160 d5f0dc611a6116128d9a404f9045e02b185958b4 SHA1 266536cf5e5e77aa0478b98869bcd67ac1a523b6 SHA256 8e5e0ee84a770dcb3abd6fc65ed4aef938f9ffabca5ddc8a739029f7fb58a8f5
DIST NuSMV-2.3.1.tar.gz 2590944 RMD160 74f00e1c29dabe98e04cf0d652b92d63a73b07dc SHA1 588d3b43f136273176f4a6056b474f9d872b977b SHA256 b8ba0f29afafdfdef8c30f722eead3ef6cbb17e4bfe5563240a01d8a99dbbf68
-EBUILD nusmv-2.3.1.ebuild 3300 RMD160 afedbca79e63b067c47ae1f49837d05b57553b99 SHA1 2d5f476f60521893effce9fcd5510e5762bc74ca SHA256 660f648c3ccb7c9099581a45386c2271e7019cb3b295b87cb45e1749450b0ec6
-MISC ChangeLog 1068 RMD160 da3a148d7854c919f8e79967eb2ed10671eea6a2 SHA1 9a79c2833b54fb33343a085b7f0119c6d4bb92c0 SHA256 0f810c1e98de2f4a9eed6bebfff9adc0fce5c410fbda9feb342b7b5385c1cba7
+EBUILD nusmv-2.3.1.ebuild 3301 RMD160 28764f3f2d5ba19ac78d92d3d587857959fc47d3 SHA1 2838c0be85e3cbee2109d39c82cfbf04db413645 SHA256 c7f8644d50f957bbc98496ff5c31751ec562bf22ab591cc62fa975abbf9a3a77
+MISC ChangeLog 1242 RMD160 57cec25c96d9fa6790eeee9f4abcaa417e56d132 SHA1 127f6ff14b61e79db5dee5b48c60efe226ca9502 SHA256 ef83180cbaf073d1194cc1ebc97f3fe40d0910e5e106f1bb5922305abea2331c
MISC metadata.xml 301 RMD160 95f4a72bad52574229901ce16d7d503b68cb22f9 SHA1 a62c653d31a41d1e11cea40d2d9366676d67d333 SHA256 b7f1f13dae0ffaaf9894bf5f5a95b351d63c630e9ccaab304b1edb8fa8f1c18c