1 files changed, 18 insertions, 8 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 149b3cd5ce42..032fb8f884f2 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,3 +1,6 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
 AUX coq-8.1_p3-cmxa-install.dpatch 782 RMD160 b3977ef5ba2acad230973cb0bfd350f644068105 SHA1 399d3e235744ddb2f40088f5d55e84e5aa2f260d SHA256 799cedbe003c9ff4becf46896f0a0971d160a8075c4979f8ba40577229b3223c
 MD5 8af37f492e015307524c531134391d74 files/coq-8.1_p3-cmxa-install.dpatch 782
 RMD160 b3977ef5ba2acad230973cb0bfd350f644068105 files/coq-8.1_p3-cmxa-install.dpatch 782
@@ -28,14 +31,14 @@ EBUILD coq-8.1_p2.ebuild 1725 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 SH
 MD5 0931e7f0be585a64a2a3defb96b7ab66 coq-8.1_p2.ebuild 1725
 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 coq-8.1_p2.ebuild 1725
 SHA256 328b25de69f8a2741b83bb3225c8c22ead842e307634c2f248432317d8b0d2ad coq-8.1_p2.ebuild 1725
-EBUILD coq-8.1_p3.ebuild 2534 RMD160 d5fb3965ead97b99752ccde7d5ec842abda982e5 SHA1 b03e834b13ab79a4b85cfa9260afddbcfd555673 SHA256 d786923151e7daa2049375cb8eb870aacf2bd01381e228ee13878cc9191c65bd
-MD5 5d93d0d16f1d2a2b86fc31667e23d89b coq-8.1_p3.ebuild 2534
-RMD160 d5fb3965ead97b99752ccde7d5ec842abda982e5 coq-8.1_p3.ebuild 2534
-SHA256 d786923151e7daa2049375cb8eb870aacf2bd01381e228ee13878cc9191c65bd coq-8.1_p3.ebuild 2534
-MISC ChangeLog 5140 RMD160 29e77f17a7a411d3683f0ac85503d81e49a010ee SHA1 1dcfde3a7c5c6aea3239ff39da677af3dfa7329e SHA256 c8308733581fcaef63c02503a79ef9d5d3168e7c035d6b9796ac031dbf73bcb1
-MD5 4b28601189d768931bf44d5a99d2cd0f ChangeLog 5140
-RMD160 29e77f17a7a411d3683f0ac85503d81e49a010ee ChangeLog 5140
-SHA256 c8308733581fcaef63c02503a79ef9d5d3168e7c035d6b9796ac031dbf73bcb1 ChangeLog 5140
+EBUILD coq-8.1_p3.ebuild 2484 RMD160 b4d85eacc1bfe9bff3180675dee291864cde572d SHA1 faf85f1b557b6cacadb79910adb2870ef4c5d778 SHA256 e035fda9b42e30e5554a301867f55789135788d0d3d09772ba49299fdca90b24
+MD5 b31c920b01a0a684c58fa5a36cf25cc3 coq-8.1_p3.ebuild 2484
+RMD160 b4d85eacc1bfe9bff3180675dee291864cde572d coq-8.1_p3.ebuild 2484
+SHA256 e035fda9b42e30e5554a301867f55789135788d0d3d09772ba49299fdca90b24 coq-8.1_p3.ebuild 2484
+MISC ChangeLog 5286 RMD160 b067c35486789f1a6a685857df114072cbf46912 SHA1 ef5651996b1a28b7695845e991675ccf6eae1855 SHA256 50c187a20bcdd189a61844664679592e675a5c1039f654cab4f9f8c7c21c4868
+MD5 9f79dbf624c75f2c297e06d06193e75b ChangeLog 5286
+RMD160 b067c35486789f1a6a685857df114072cbf46912 ChangeLog 5286
+SHA256 50c187a20bcdd189a61844664679592e675a5c1039f654cab4f9f8c7c21c4868 ChangeLog 5286
 MISC metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b
 MD5 587dfb99f9b1ef3ef6a79733b24811cc metadata.xml 174
 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 metadata.xml 174
@@ -52,3 +55,10 @@ SHA256 6e90b572e62f580834a9721149404b02faf2cac779670386219b778dfd7492e3 files/di
 MD5 ee73692d684c6e166f565e21e48cbb84 files/digest-coq-8.1_p3 235
 RMD160 f3768c38ca8e57dcf832134a54d7e778858781dc files/digest-coq-8.1_p3 235
 SHA256 73bd61ecaed8280418c5ffe57c15b20f1cb66ccfb78630fb9c87c30e2a4a8fe6 files/digest-coq-8.1_p3 235
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.7 (GNU/Linux)
+
+iD8DBQFHjfmOvFcC4BYPU0oRAsP2AKCWNed+vu3EVXIh9BloKD0OvmOcrQCdEWFS
+nfQu06PUxYPcBcCqzLEGXD4=
+=dSUG
+-----END PGP SIGNATURE-----