Remanifesting

Package-Manager: portage-2.2_rc67/cvs/Linux x86_64

diff --git a/sci-mathematics/axiom/Manifest b/sci-mathematics/axiom/Manifest
index 211f354b0c6cfc1728904011e8a992b1d283615a..7058c0cd00061ed39433e9a5ddac6b622f8a93a5 100644 (file)
--- a/sci-mathematics/axiom/Manifest
+++ b/sci-mathematics/axiom/Manifest
@@ -1,9 +1,17 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
 AUX axiom-200711-gcl-configure.patch 445 RMD160 c62109a2198b19d0770de49c08107cd884dc4c82 SHA1 569117c5ec07f2dfd6edeefc5af499b66e202b45 SHA256 1e56780436eae1f9c31e55ac3c2903a62837cd957fe323f995922e2a4629c4f9
 AUX noweb-2.9-insecure-tmp-file.Makefile.patch 439 RMD160 16cdc72fab65bab45c7728d374da60f7b4cccc65 SHA1 428d4380a17535939a59b5efd12556ab4cafde06 SHA256 3c4b5bea61620cb545e576d2e82dd8daa0478fc6c40ae0a93dbdac432aa9531d
 AUX noweb-2.9-insecure-tmp-file.patch.input 4819 RMD160 2afe80731bd3fcfa23e0ee799649886ce3fdd0af SHA1 23aff1cf0862618c7450704d0d47fcec2497de0b SHA256 68bf232fd91b94fc9d08373d079afcb890a6af6991373da81089560ce21889a9
 DIST axiom-may2008-src.tgz 207172456 RMD160 496c91f00d3b8623c13ea82ee5a95698899a5406 SHA1 51949340f754104c0fa72e269737538829cd9062 SHA256 c91cc50a9a6b9d66b398f8b96236249db72b6ce280d51c188db1805a4534380e
-DIST axiom-nov2009-src.tgz 281976153 RMD160 a94bf16b7432f56914d5b8db88f806ef0117c4b7 SHA1 04d6760a9582646a34a29def3ee8a0b97b412c59 SHA256 922d8029893810a8e34388a399a4ac1f343dd18a6c165a63ef564895482e78f5
 EBUILD axiom-200805.ebuild 3126 RMD160 1e9bfccf09391096d19ab727c9da6b99944bd3fe SHA1 92a4a4dc7ea795db681f362214853a5ee5905368 SHA256 f343a877fb00b978cda85fc77a5f33975f90c664a14b3b673feaa6aa9ca3037c
-EBUILD axiom-200911.ebuild 3092 RMD160 7c30afd0eebb33941b1bd818e35117f7b61cc4e7 SHA1 2c5dbd04230931194aecb0ce36478638e8e436d1 SHA256 c87afa24eec79ecb00f515169812cddf94f67d679e5aaa01b242065c7c59da12
 MISC ChangeLog 3770 RMD160 6802db912464284c86801b5295af28009226f04d SHA1 75922ad19c8e6bb4f08bba1c249cc425bebee8b2 SHA256 7163d1d9dc36c4456d34594f964bdd1a6ec2390f1a7618de438765874acb406d
 MISC metadata.xml 168 RMD160 d98790cf055dc0f820c63d65f485b9dcfa8950f4 SHA1 95c9e4f7368f82053d631bbcd469612c92ca13cb SHA256 c0cc8d6ab9385750af753ddc504299ed90a70b5c4c655f6c77d865917a8829c9
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.15 (GNU/Linux)
+
+iEYEARECAAYFAkwjlCYACgkQ1ycZbhPLE2Ch8QCfRdZpl3Dcevd1KfNViReiI1VN
+NYcAn21wGR0xACXQ3XqOXbn0+HBw+I7K
+=tn+/
+-----END PGP SIGNATURE-----

diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest
index a00efa7142ae323e8984b3fda148c14668d2124a..222743c5eeb94ce91c54fa4abde47f2cfbd876e8 100644 (file)
--- a/sci-mathematics/nusmv/Manifest
+++ b/sci-mathematics/nusmv/Manifest
@@ -1,9 +1,19 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
 AUX MiniSat_v1.14-optimizedlib.patch 1112 RMD160 9ae63aef1b74fac1bad9ee62049460856b5c5982 SHA1 7a2ee88eef0591690a2a728c07b68fdd882addda SHA256 21016b1ce69553c058385afa93f13248dbdc398c7968609d86dd9b707e227bfb
 AUX MiniSat_v1.14_gcc41.patch 4568 RMD160 59cccf1bfd15a4913c6026875639212859ce1ffa SHA1 532288df7231053ec41bbc11a02a1ec12ec396a4 SHA256 05179a822cca176f76340b2a5a9ffab1128d7018a1dfee743fb937abdc8233d9
 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
 DIST NuSMV-2.5.0.tar.gz 3792968 RMD160 aaa3b9dc1329ad3feca6c9511b144437caf83472 SHA1 4b2837b0511e9eaf0eee53395308e8eaba6be727 SHA256 59310f5f23f72cb1ad16419e40f245db7c5aa41c0f59ba5c75732bb6c4b56ff1
-EBUILD nusmv-2.3.1.ebuild 3361 RMD160 05cf496ed144de2784480f2fe307ea87591903a1 SHA1 6697632ef7c5086d22a5bfc34c32765338389563 SHA256 7efbc287502a504f5f1880ba83c94c5294760290c066f5a99fcd52415a21ccbb
+EBUILD nusmv-2.3.1.ebuild 3331 RMD160 09aa89279858b6a6ac1be71adaf54545d4dffc54 SHA1 36c394fa4bbc8053059bd19be61ae8679983eb53 SHA256 43f713b4e5f21318516348f732f4129670235317724ce595d1e635aa0fbd91cd
 EBUILD nusmv-2.5.0.ebuild 3504 RMD160 5c4594ec3c14bd77fefb7346e8736c52385fd145 SHA1 feb109b871e3f50028e7511151d3392b9ba546d3 SHA256 bd2396e81e30647d88334f9cb6f71b0b75414de49eadf7d2e8b1ffe20634518e
 MISC ChangeLog 1528 RMD160 e7b6b30f32950d1c18bb9095b6e9b9758a0bf556 SHA1 10d7264837b2a1fcb4af40cdd55daf2353d98aa2 SHA256 341299d9a7043a303f8d11b39dca07557a71e348dd1504b6871d1938496262d4
 MISC metadata.xml 301 RMD160 95f4a72bad52574229901ce16d7d503b68cb22f9 SHA1 a62c653d31a41d1e11cea40d2d9366676d67d333 SHA256 b7f1f13dae0ffaaf9894bf5f5a95b351d63c630e9ccaab304b1edb8fa8f1c18c
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.15 (GNU/Linux)
+
+iEYEARECAAYFAkwjlKwACgkQ1ycZbhPLE2CyPQCfbJFIhmfM4SpF+IwXFZXanAeL
+Ve8Anink3O+EtzQiYr4zkyahSb2piFv2
+=r+gd
+-----END PGP SIGNATURE-----