2 files changed, 47 insertions, 25 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index c60afefbb527..f1a89275480a 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,43 +1,53 @@
-AUX coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 SHA1 7f2d8d87a2743ed0bfc1cb45ebaf8acf1ddcc11d SHA256 4bdd7fcddd5a1f845be8df40f9a5b7d7fee1cf88bb744866804ab1da4253a2d5 size 676
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
+AUX coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 SHA1 7f2d8d87a2743ed0bfc1cb45ebaf8acf1ddcc11d SHA256 4bdd7fcddd5a1f845be8df40f9a5b7d7fee1cf88bb744866804ab1da4253a2d5
 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676
 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 files/coq-8.0-byteflags.patch 676
 SHA256 4bdd7fcddd5a1f845be8df40f9a5b7d7fee1cf88bb744866804ab1da4253a2d5 files/coq-8.0-byteflags.patch 676
-AUX coq-8.0-ocaml-3.08.1.patch 1321 RMD160 9cacf8590ac611f04f6eeeaca0a9240b1dafc29a SHA1 d99ad532e597eb6b7ad8dde2b5a20ad4c53b8567 SHA256 bd5a0363840f483d98c4b2374f8199b0991f88eea1f152f235efc789d51c4616 size 1321
+AUX coq-8.0-ocaml-3.08.1.patch 1321 RMD160 9cacf8590ac611f04f6eeeaca0a9240b1dafc29a SHA1 d99ad532e597eb6b7ad8dde2b5a20ad4c53b8567 SHA256 bd5a0363840f483d98c4b2374f8199b0991f88eea1f152f235efc789d51c4616
 MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321
 RMD160 9cacf8590ac611f04f6eeeaca0a9240b1dafc29a files/coq-8.0-ocaml-3.08.1.patch 1321
 SHA256 bd5a0363840f483d98c4b2374f8199b0991f88eea1f152f235efc789d51c4616 files/coq-8.0-ocaml-3.08.1.patch 1321
-AUX coqide.desktop 242 RMD160 78d55202099015b63459b8d1366befc26dc0f259 SHA1 fefc588252399b33f34ff8a1f15bdcf13e5d4d0b SHA256 8444a5bdcf66303265c6fbaba67c0f1b6b06a97bd31929d91ca9742da6961a71 size 242
+AUX coqide.desktop 242 RMD160 78d55202099015b63459b8d1366befc26dc0f259 SHA1 fefc588252399b33f34ff8a1f15bdcf13e5d4d0b SHA256 8444a5bdcf66303265c6fbaba67c0f1b6b06a97bd31929d91ca9742da6961a71
 MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242
 RMD160 78d55202099015b63459b8d1366befc26dc0f259 files/coqide.desktop 242
 SHA256 8444a5bdcf66303265c6fbaba67c0f1b6b06a97bd31929d91ca9742da6961a71 files/coqide.desktop 242
-AUX ocaml-3.07.patch 333 RMD160 8506611923b6a54b546419df43cda235d8fa042e SHA1 759145d7eb28248dc1d5ae670af20ade6bf30ab1 SHA256 d1cb93dedf8aa61723e897bdaf3aefd5699cb53a5042aeac408fef392095250a size 333
+AUX ocaml-3.07.patch 333 RMD160 8506611923b6a54b546419df43cda235d8fa042e SHA1 759145d7eb28248dc1d5ae670af20ade6bf30ab1 SHA256 d1cb93dedf8aa61723e897bdaf3aefd5699cb53a5042aeac408fef392095250a
 MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333
 RMD160 8506611923b6a54b546419df43cda235d8fa042e files/ocaml-3.07.patch 333
 SHA256 d1cb93dedf8aa61723e897bdaf3aefd5699cb53a5042aeac408fef392095250a files/ocaml-3.07.patch 333
-DIST coq-8.0_p3-ocaml-3.09.patch.gz 5256 RMD160 17dd484a71ddcf5724435ef7386db070b9840949 SHA256 6eacae4a27de43e5cef2ef8c5971f869bf0df291436aa1ac573fd8bf7ae698fc size 5256
-DIST coq-8.0pl1-translator.tar.gz 233233 RMD160 dc241dcd596e5c667a4e8295eb44f23cbfef432e SHA256 baea2c89f52c06062b3c38d3cd9367206dcbb7728a0315d1d2ce49524f4aa340 size 233233
-DIST coq-8.0pl1.tar.gz 2272613 RMD160 e8437bc84e130757ae4bc46b832a95c0ea655da3 SHA256 e90955b200b1bd64093eeebbad173d1228ea9d88aea0615a28de08782024be33 size 2272613
-DIST coq-8.0pl3-translator.tar.gz 233228 RMD160 7dd748ee5929faf93ca75bec94b443573405b0fe SHA256 78def7e2998526db8c5740580113802a821c31de65bb12a7c74c512f6a9328f7 size 233228
-DIST coq-8.0pl3.tar.gz 2309002 RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c size 2309002
-EBUILD coq-8.0-r1.ebuild 2067 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 SHA1 9bdcac16c82d1dadc8009fd98e20c15e251d5be7 SHA256 fed6aac37fc0537174cc37f16e4afa53d19868ae5a4ed1ddc30628d05febcc20 size 2067
+DIST coq-8.0_p3-ocaml-3.09.patch.gz 5256 RMD160 17dd484a71ddcf5724435ef7386db070b9840949 SHA256 6eacae4a27de43e5cef2ef8c5971f869bf0df291436aa1ac573fd8bf7ae698fc
+DIST coq-8.0pl1-translator.tar.gz 233233 RMD160 dc241dcd596e5c667a4e8295eb44f23cbfef432e SHA256 baea2c89f52c06062b3c38d3cd9367206dcbb7728a0315d1d2ce49524f4aa340
+DIST coq-8.0pl1.tar.gz 2272613 RMD160 e8437bc84e130757ae4bc46b832a95c0ea655da3 SHA256 e90955b200b1bd64093eeebbad173d1228ea9d88aea0615a28de08782024be33
+DIST coq-8.0pl3-translator.tar.gz 233228 RMD160 7dd748ee5929faf93ca75bec94b443573405b0fe SHA256 78def7e2998526db8c5740580113802a821c31de65bb12a7c74c512f6a9328f7
+DIST coq-8.0pl3.tar.gz 2309002 RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c
+EBUILD coq-8.0-r1.ebuild 2067 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 SHA1 9bdcac16c82d1dadc8009fd98e20c15e251d5be7 SHA256 fed6aac37fc0537174cc37f16e4afa53d19868ae5a4ed1ddc30628d05febcc20
 MD5 4a4ffa884422004f87fb79781054f44b coq-8.0-r1.ebuild 2067
 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 coq-8.0-r1.ebuild 2067
 SHA256 fed6aac37fc0537174cc37f16e4afa53d19868ae5a4ed1ddc30628d05febcc20 coq-8.0-r1.ebuild 2067
-EBUILD coq-8.0_p3.ebuild 2054 RMD160 9c6f4662327ce9f8894be7aae5253cc0ba51f18d SHA1 d87365a31106f3e452db303d19ca2fdcde3e05c7 SHA256 c15af9d372b2d38594a308fd9a1662b6495c806752b156434f61669e3b76852a size 2054
+EBUILD coq-8.0_p3.ebuild 2054 RMD160 9c6f4662327ce9f8894be7aae5253cc0ba51f18d SHA1 d87365a31106f3e452db303d19ca2fdcde3e05c7 SHA256 c15af9d372b2d38594a308fd9a1662b6495c806752b156434f61669e3b76852a
 MD5 3c5fa38730258cd884b0156b4a8ad519 coq-8.0_p3.ebuild 2054
 RMD160 9c6f4662327ce9f8894be7aae5253cc0ba51f18d coq-8.0_p3.ebuild 2054
 SHA256 c15af9d372b2d38594a308fd9a1662b6495c806752b156434f61669e3b76852a coq-8.0_p3.ebuild 2054
-MISC ChangeLog 2489 RMD160 68683a083900150535458481edc8a077c768e573 SHA1 02f6a54b2bd142a08c64fc08f90c89e805ca513e SHA256 1beb94b8e724f3a202a39348a4cb22aa0e422f3f89fae2fc9e9dd4b867102ea6 size 2489
-MD5 3df78de42be8c6f585b0db03245984db ChangeLog 2489
-RMD160 68683a083900150535458481edc8a077c768e573 ChangeLog 2489
-SHA256 1beb94b8e724f3a202a39348a4cb22aa0e422f3f89fae2fc9e9dd4b867102ea6 ChangeLog 2489
-MISC metadata.xml 238 RMD160 535201b7b87f08675e3ac244923b600abf94c4c6 SHA1 5cf8cca3575857f5f96885a3a73ce0618078a035 SHA256 101c8fa1217ef82259f4fc2a04baf611c1056c55ff379d337be3130d9532450a size 238
-MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
-RMD160 535201b7b87f08675e3ac244923b600abf94c4c6 metadata.xml 238
-SHA256 101c8fa1217ef82259f4fc2a04baf611c1056c55ff379d337be3130d9532450a metadata.xml 238
+MISC ChangeLog 2664 RMD160 c05db1a3b1882386e897fafd1170f1a4f4711d63 SHA1 92d8f04462d52d3b55e9c59df338b91e65edc7cf SHA256 a7c036fd77c4012029dba8e590fc6c155e8a53e7a808036d5cd24f07e11d8bb9
+MD5 d7920a89357e2ea2430e560d1b502fab ChangeLog 2664
+RMD160 c05db1a3b1882386e897fafd1170f1a4f4711d63 ChangeLog 2664
+SHA256 a7c036fd77c4012029dba8e590fc6c155e8a53e7a808036d5cd24f07e11d8bb9 ChangeLog 2664
+MISC metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 SHA1 c4b88bc0384a23bb4d4a6ab24185515911452b1b SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140
+MD5 051b19b1bff1e9764732760637bf1594 metadata.xml 245
+RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 metadata.xml 245
+SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140 metadata.xml 245
 MD5 aeca137009e9122f025cfd23b307d7a8 files/digest-coq-8.0-r1 500
 RMD160 8f45c953b095d4e8dad0409e798485eed9ead256 files/digest-coq-8.0-r1 500
 SHA256 a3b19476c72b3a27e40f09715030ceb8a0ec7ab781257b8542e9cba0f8c7cb3a files/digest-coq-8.0-r1 500
 MD5 07d28c72f4d0913e374c8acba9a363b8 files/digest-coq-8.0_p3 765
 RMD160 0eb02a90f6cb1bd9b1174cf2fc2e724a4f50cee9 files/digest-coq-8.0_p3 765
 SHA256 d1900263704dc613417b872026abf1bde19771a25ebd7c0a09e7c82ee1201ec6 files/digest-coq-8.0_p3 765
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v1.4.3 (GNU/Linux)
+
+iD8DBQFEpmT1wx9vvAARv2sRArkMAJwNS/CDziZLcos8IylxoUMTx9qhaACfX32r
+6s5QlDcva1FlyxEz6oil6DA=
+=vjZ6
+-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/otter/Manifest b/sci-mathematics/otter/Manifest
index 05a72a27e332..baa2680b2bf8 100644
--- a/sci-mathematics/otter/Manifest
+++ b/sci-mathematics/otter/Manifest
@@ -1,14 +1,26 @@
 -----BEGIN PGP SIGNED MESSAGE-----
 Hash: SHA1
 
+DIST otter-3.3.tar.gz 2809092
+EBUILD otter-3.3-r1.ebuild 798 RMD160 e63a2bfde23235b9fb7faa77f98367f2266fd09b SHA1 231c2648b23b81b2afef58c0189d0e83c0d8ab45 SHA256 1d47c60b95bbdb577fc95898dc516530611b314c1d2e8166a03e5b9fa07146a7
 MD5 371501d9932cbe6dd635f84d97957132 otter-3.3-r1.ebuild 798
-MD5 d048aa051e6d6d5ad4b419ae267a58a1 ChangeLog 2110
-MD5 8c623e53daafa025137077c6b65815bd metadata.xml 156
+RMD160 e63a2bfde23235b9fb7faa77f98367f2266fd09b otter-3.3-r1.ebuild 798
+SHA256 1d47c60b95bbdb577fc95898dc516530611b314c1d2e8166a03e5b9fa07146a7 otter-3.3-r1.ebuild 798
+MISC ChangeLog 2286 RMD160 9c4da8b2dec23ef3b75946b760f9a624593df5ea SHA1 903f64d8d12d1451c25ff9143d59c7c7e2d27605 SHA256 ec58c0bbd8cc90495e6d7158e78910ae45a4bcce11497457fc58cb5caca1122c
+MD5 a057e25045a467461147e3862e3f640d ChangeLog 2286
+RMD160 9c4da8b2dec23ef3b75946b760f9a624593df5ea ChangeLog 2286
+SHA256 ec58c0bbd8cc90495e6d7158e78910ae45a4bcce11497457fc58cb5caca1122c ChangeLog 2286
+MISC metadata.xml 163 RMD160 c4ccadc6b50f16b2a7e075ac180dee68b7ecf511 SHA1 31efc46b80a3587009c51e35604b72284c2fdef6 SHA256 00104b76066c2da632691c4fe35484fd31d2681dbee48d4be9438d83e723c5ca
+MD5 3245dbafaf5457dcd692a084076c7211 metadata.xml 163
+RMD160 c4ccadc6b50f16b2a7e075ac180dee68b7ecf511 metadata.xml 163
+SHA256 00104b76066c2da632691c4fe35484fd31d2681dbee48d4be9438d83e723c5ca metadata.xml 163
 MD5 aa559b24f0a62ba3189129735c89b785 files/digest-otter-3.3-r1 62
+RMD160 151609477ab1ba2802d31fa9603acd972a1fd733 files/digest-otter-3.3-r1 62
+SHA256 e7a8de6566e0874a1f2ec44837f5bec33692be5c4181fec948dc165b436c8424 files/digest-otter-3.3-r1 62
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v1.4.1 (GNU/Linux)
+Version: GnuPG v1.4.3 (GNU/Linux)
 
-iD8DBQFC4xFeomPajV0RnrERAkamAJ9tYShqKuNrIb+QVFy3GLCL2Jys+ACbBtt8
-O42KuQbNAk3nlvUI+l5xZOE=
-=ZoBw
+iD8DBQFEpmVSwx9vvAARv2sRAk9rAJ4m60I7RUGEVCJqwiru++cJ/SJr8gCeOLh6
+fshxr7WqHx5ru+b6r/1EYok=
+=CGdJ
 -----END PGP SIGNATURE-----