diff options
| author |   Sebastien Fabbro <bicatali@gentoo.org> | 2010-01-13 16:49:07 +0000 |
|---|---|---|
| committer | Sebastien Fabbro <bicatali@gentoo.org> | 2010-01-13 16:49:07 +0000 |
| commit | b762e1099d4ab695d4a808ba690469e71b2a3f8d (patch) | |
| tree | 285f6a31d413790b98d1d09dc6a2f9724948f588 /sci-mathematics | |
| parent | Added VARTEXFONTS, bug #223077 (diff) | |
| download | gentoo-2-b762e1099d4ab695d4a808ba690469e71b2a3f8d.tar.gz gentoo-2-b762e1099d4ab695d4a808ba690469e71b2a3f8d.tar.bz2 gentoo-2-b762e1099d4ab695d4a808ba690469e71b2a3f8d.zip | |
Added VARTEXFONTS, bug #223077
(Portage version: 2.2_rc61/cvs/Linux x86_64)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/nusmv/Manifest | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest index 2a65d1d4c91c..4368fadaea23 100644 --- a/sci-mathematics/nusmv/Manifest +++ b/sci-mathematics/nusmv/Manifest @@ -1,6 +1,16 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + 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 3301 RMD160 28764f3f2d5ba19ac78d92d3d587857959fc47d3 SHA1 2838c0be85e3cbee2109d39c82cfbf04db413645 SHA256 c7f8644d50f957bbc98496ff5c31751ec562bf22ab591cc62fa975abbf9a3a77 -MISC ChangeLog 1242 RMD160 57cec25c96d9fa6790eeee9f4abcaa417e56d132 SHA1 127f6ff14b61e79db5dee5b48c60efe226ca9502 SHA256 ef83180cbaf073d1194cc1ebc97f3fe40d0910e5e106f1bb5922305abea2331c +EBUILD nusmv-2.3.1.ebuild 3331 RMD160 09aa89279858b6a6ac1be71adaf54545d4dffc54 SHA1 36c394fa4bbc8053059bd19be61ae8679983eb53 SHA256 43f713b4e5f21318516348f732f4129670235317724ce595d1e635aa0fbd91cd +MISC ChangeLog 1356 RMD160 82fb9a1381f05b2c643dd2e11c6f907336800d37 SHA1 af2ee0e584af336b1864e598e2c613f36c7c8300 SHA256 f5b7a780e1e0f4f58eaf3e9025a31929ca37d215631409ddd4af49c6e43c5086 MISC metadata.xml 301 RMD160 95f4a72bad52574229901ce16d7d503b68cb22f9 SHA1 a62c653d31a41d1e11cea40d2d9366676d67d333 SHA256 b7f1f13dae0ffaaf9894bf5f5a95b351d63c630e9ccaab304b1edb8fa8f1c18c +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.14 (GNU/Linux) + +iEYEARECAAYFAktOAgoACgkQ1ycZbhPLE2ApZACfQzxCrKqtPob3XwjbHxLGiai5 +vzMAn2IaaIqDNuoqEsj+hUeoms2x2w5q +=gXuV +-----END PGP SIGNATURE----- |