Reassigning to sci from math-proof (see #138059 for reference).

Package-Manager: portage-2.1.3_rc9

2 files changed, 30 insertions, 20 deletions

diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 0a84a5f4d93b..24425e8bf55a 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -30,14 +30,14 @@ EBUILD coq-8.0_p3.ebuild 2047 RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 SH
 MD5 048ee6aefee27e33a7c61c076ec38154 coq-8.0_p3.ebuild 2047
 RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 coq-8.0_p3.ebuild 2047
 SHA256 fa555a38d6b2f7716b2485cdcd9600b987251fa0ba13f3a06f46fe76d9228927 coq-8.0_p3.ebuild 2047
-MISC ChangeLog 3292 RMD160 333231712e98b760781703350a94c021abbba761 SHA1 a0c1cda55014117163b86469b7eee56193e0dad3 SHA256 bca04a17d6cae0a512f8cf03b0fc3cc32dde2c7ad4a03c9a7bb7cea1b2ec8419
-MD5 001665a1bfd38e7751cbcd0c236e69d0 ChangeLog 3292
-RMD160 333231712e98b760781703350a94c021abbba761 ChangeLog 3292
-SHA256 bca04a17d6cae0a512f8cf03b0fc3cc32dde2c7ad4a03c9a7bb7cea1b2ec8419 ChangeLog 3292
-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
+MISC ChangeLog 3424 RMD160 f2331bdd0473e1a6eec1da3c4157da8865faafe5 SHA1 1954085dbae7185dcea96f27d68e32953a24ca46 SHA256 2f831b300a43a6240e3e2ca0826d5930e26b422ecfa8336ea19f935522ef7849
+MD5 911cdfbec7aac69d159a701c2dedb1b6 ChangeLog 3424
+RMD160 f2331bdd0473e1a6eec1da3c4157da8865faafe5 ChangeLog 3424
+SHA256 2f831b300a43a6240e3e2ca0826d5930e26b422ecfa8336ea19f935522ef7849 ChangeLog 3424
+MISC metadata.xml 238 RMD160 535201b7b87f08675e3ac244923b600abf94c4c6 SHA1 5cf8cca3575857f5f96885a3a73ce0618078a035 SHA256 101c8fa1217ef82259f4fc2a04baf611c1056c55ff379d337be3130d9532450a
+MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
+RMD160 535201b7b87f08675e3ac244923b600abf94c4c6 metadata.xml 238
+SHA256 101c8fa1217ef82259f4fc2a04baf611c1056c55ff379d337be3130d9532450a metadata.xml 238
 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
@@ -45,9 +45,9 @@ 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 v2.0.4 (GNU/Linux)
+Version: GnuPG v2.0.5 (GNU/Linux)
 
-iD8DBQFGiRk7ppoStNGKGywRArHLAJ0cU0MhGm5E04QuX55vtYgNjK2S9ACaA+WX
-Eb7fei0AAfKLEPH/wC6NLK8=
-=w5Wt
+iD8DBQFGr7AqyuNVb5qfaOYRAt6ZAJ9QLcZXuDuA3xyarEGfjVhDdt3YrACcDXII
+Sl/IoMUZcVKiqYkcLhi4rtM=
+=QidJ
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/otter/Manifest b/sci-mathematics/otter/Manifest
index 0e1d726e435b..32e633f61f0e 100644
--- a/sci-mathematics/otter/Manifest
+++ b/sci-mathematics/otter/Manifest
@@ -1,16 +1,26 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
 DIST otter-3.3.tar.gz 2809092 RMD160 160bd64bb799daf7d7c658b28c4fba7ca6d118fa SHA1 b02a6be1fa1c4f30be2327450f5af21812f03b50 SHA256 40d7399e96491bcdabce1427c58945b3cfa414e1cefb8edae7bbea02dd6c0249
 EBUILD otter-3.3-r1.ebuild 800 RMD160 0d4ef289b320ce20f1fc1c333e76ef476cc9873b SHA1 a60ae63539cc5ff025d92711d31b8155616130f7 SHA256 dbb10ea2e631d6cce28cdfa36cf58bb47f8e6a13ca1e6c1fe7b9d8214b09f276
 MD5 f884a8f2c044187015344d77e3be0f06 otter-3.3-r1.ebuild 800
 RMD160 0d4ef289b320ce20f1fc1c333e76ef476cc9873b otter-3.3-r1.ebuild 800
 SHA256 dbb10ea2e631d6cce28cdfa36cf58bb47f8e6a13ca1e6c1fe7b9d8214b09f276 otter-3.3-r1.ebuild 800
-MISC ChangeLog 2369 RMD160 4264a246e00cef44fe9bb53e20879c3f71885d40 SHA1 025102898c10e7dd8f74056706f96942b8ffb698 SHA256 fd61be2acd15136dcb9b22a854d53a1608dcb433d3943be762d54d851c2f13e6
-MD5 00222f2386ec090340a70c09379944c3 ChangeLog 2369
-RMD160 4264a246e00cef44fe9bb53e20879c3f71885d40 ChangeLog 2369
-SHA256 fd61be2acd15136dcb9b22a854d53a1608dcb433d3943be762d54d851c2f13e6 ChangeLog 2369
-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
+MISC ChangeLog 2501 RMD160 4c1df125c43748647f8b1ea2abfc0677005c4145 SHA1 4b7d73b97d14bf0b36f1fe1e54d2e7369c2d2403 SHA256 b550611a85a29aff9e31426400809b43c0fc405575424ce33b1becfdbb8ac035
+MD5 ea9a285f118993ddf641730163f4631a ChangeLog 2501
+RMD160 4c1df125c43748647f8b1ea2abfc0677005c4145 ChangeLog 2501
+SHA256 b550611a85a29aff9e31426400809b43c0fc405575424ce33b1becfdbb8ac035 ChangeLog 2501
+MISC metadata.xml 157 RMD160 ed43b99e7bf8bbf62cf4e46152138ab42d3a88c5 SHA1 2182a6de0b10959aad51af2990f1a6c69e34dd97 SHA256 750cb9e46ac2b77e1adf73de43c186a8c2d2234a9c6a89d9358d0969dc5cf8ac
+MD5 0ffcd41aa96cf1bcffd8b539c27957db metadata.xml 157
+RMD160 ed43b99e7bf8bbf62cf4e46152138ab42d3a88c5 metadata.xml 157
+SHA256 750cb9e46ac2b77e1adf73de43c186a8c2d2234a9c6a89d9358d0969dc5cf8ac metadata.xml 157
 MD5 045f389bc2a1dd61a59fe924ac424129 files/digest-otter-3.3-r1 232
 RMD160 0b61254d1181abe7919a2a3c2de95e001433999d files/digest-otter-3.3-r1 232
 SHA256 ee2346ebafc539b6fcde85b785e57072931bc84ff4ff92aeb6ca5f69bc4208c7 files/digest-otter-3.3-r1 232
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.5 (GNU/Linux)
+
+iD8DBQFGr7BZyuNVb5qfaOYRAjLnAKDMyxyS+hSGGyVr4THBDUz0QV990QCgh8AW
+ZN4Dxihf9qsvL4AOEjTpxcg=
+=x/Ki
+-----END PGP SIGNATURE-----