diff options
| author |   Sebastien Fabbro <bicatali@gentoo.org> | 2010-01-13 16:51:07 +0000 |
|---|---|---|
| committer | Sebastien Fabbro <bicatali@gentoo.org> | 2010-01-13 16:51:07 +0000 |
| commit | 49b2e67d60ca83ad796be02e091262bfe2c5ba09 (patch) | |
| tree | 63f2c1dacf76f188b5626ac9f6155ba3b2173b5b /sci-mathematics | |
| parent | Added VARTEXFONTS, bug #223077 (diff) | |
| download | historical-49b2e67d60ca83ad796be02e091262bfe2c5ba09.tar.gz historical-49b2e67d60ca83ad796be02e091262bfe2c5ba09.tar.bz2 historical-49b2e67d60ca83ad796be02e091262bfe2c5ba09.zip | |
Added VARTEXFONTS, bug #223077
Package-Manager: portage-2.2_rc61/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/ginac/Manifest | 12 | ||||
| -rw-r--r-- | sci-mathematics/nusmv/Manifest | 14 |
2 files changed, 18 insertions, 8 deletions
diff --git a/sci-mathematics/ginac/Manifest b/sci-mathematics/ginac/Manifest index 61c7c5f7f4bd..60650b2072b3 100644 --- a/sci-mathematics/ginac/Manifest +++ b/sci-mathematics/ginac/Manifest @@ -9,13 +9,13 @@ DIST ginac-1.5.3.tar.bz2 996505 RMD160 0fc37e79d86b852b843689fbdf8ef00a6d539c5b DIST ginac-1.5.5.tar.bz2 997969 RMD160 99d96d49b42a425f90b8db4e9b76d0d38d190ea9 SHA1 cf3b18dc7f8a787821b80ab0411314c015bff84f SHA256 6e0c8d20a76316b8f9b1bb015babdfa0b4fe401a190a9d501fc0702647750956 EBUILD ginac-1.5.1.ebuild 1721 RMD160 5fcec77baf739dd8bfd8c5690ce2d2f84e8c1521 SHA1 9eaf418ef5f8940e66e64f79c275e3f5704469ed SHA256 86610f9f141be2760814dad351d441a0841b540349bba7bd7238f84e0595dedc EBUILD ginac-1.5.3.ebuild 1749 RMD160 a613808c440456b12ca01ab9c645b878ec70255f SHA1 7833508c0ab8dcfc758368ffd202b60548690c17 SHA256 88d3d0716d679a2326866fed2394a4a0ecfb2155e3186b7160caabaa7eca4a56 -EBUILD ginac-1.5.5.ebuild 1652 RMD160 22bc4a4544539ff333f068f341ade4be46417982 SHA1 2ffe87f7f85842f30551d70ea705e0406ca25db3 SHA256 1a9a651b38b958e17c0025b69b076624198e81e62a65576a488a9da8022f4601 -MISC ChangeLog 6438 RMD160 edc5cfe79a324fdbe71b481d776774abadea1006 SHA1 5d0ae446fade9782deb16ff081090d06cdcc3324 SHA256 5c0116f27f896c73bad0b7ed20b5bd4a99046e4aa2e5c7ea6dc5df3e9398df0a +EBUILD ginac-1.5.5.ebuild 1691 RMD160 e63e43abdb0785f1792deaf64796a50397572da8 SHA1 ce3a2d0457333c277088cbf793d76d717196586f SHA256 04020ea11ee48d006b4ee2df7fddb13bc1dbe6717875f60ad4c23c447a6ef426 +MISC ChangeLog 6550 RMD160 4bbfd09935ea929d5f2799d94b7f5cd53888ce73 SHA1 d918846a8d2e053adb472d3c3ac6952763bd0e78 SHA256 70609fc960c2796d000d15c9db20469876f678e2ad2caddb0d196d2ac410d7c6 MISC metadata.xml 582 RMD160 0f0b60e373c8fee0efbebb7b7fd2420e2052082e SHA1 7e2a04c2da42292f37e33d06fc2e15305687bcdf SHA256 a68adc59dd6641c75f663a7be278804746fc15f64707b2570ed88918c6f9ff33 -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.11 (GNU/Linux) +Version: GnuPG v2.0.14 (GNU/Linux) -iEYEARECAAYFAktMlY4ACgkQNQqtfCuFneM24QCcCv7S8Q7Rq+w2ympd7avFLaHX -VDcAn3sge1NKAYUduSQACilK1ShPwY1I -=3SAq +iEYEARECAAYFAktOAoIACgkQ1ycZbhPLE2BL9gCfVHHNQI7OdWve8+cSVYtVoBxW +AfMAn35azFPS/iSHaJyBFvgvHnUTJfvL +=ofFW -----END PGP SIGNATURE----- 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----- |