1 files changed, 12 insertions, 12 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 24425e8bf55a..683c9e0ce89c 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 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
+MISC ChangeLog 3571 RMD160 6783290b2536472b6fdb2002c185f20912746c77 SHA1 7d05eb00f8fd0e29bb0fded1d041c69181c86d55 SHA256 1bf98aa290241937e1d282a36fd480ad1905063ad450042b280ece09a8bb3315
+MD5 42207b140eef58dcc0a0f67731e7a3c6 ChangeLog 3571
+RMD160 6783290b2536472b6fdb2002c185f20912746c77 ChangeLog 3571
+SHA256 1bf98aa290241937e1d282a36fd480ad1905063ad450042b280ece09a8bb3315 ChangeLog 3571
+MISC metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b
+MD5 587dfb99f9b1ef3ef6a79733b24811cc metadata.xml 174
+RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 metadata.xml 174
+SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b metadata.xml 174
 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.5 (GNU/Linux)
+Version: GnuPG v2.0.6 (GNU/Linux)
 
-iD8DBQFGr7AqyuNVb5qfaOYRAt6ZAJ9QLcZXuDuA3xyarEGfjVhDdt3YrACcDXII
-Sl/IoMUZcVKiqYkcLhi4rtM=
-=QidJ
+iD8DBQFG1sbJyuNVb5qfaOYRArVZAJ9Q7UyxfSp39FHMO+5aH3YHHrfe2wCgplBj
+QeYd9RJfcIydkAFGb5cpE5k=
+=m4n4
 -----END PGP SIGNATURE-----