1 files changed, 18 insertions, 8 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 2cdbeb587738..3e5756d2f5eb 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,3 +1,6 @@
+-----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
@@ -23,14 +26,14 @@ EBUILD coq-8.0-r1.ebuild 2067 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 SH
 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 2052 RMD160 cb7b0d74bab1aa29db34f1275c088ae61fee0c14 SHA1 3c1cade4f2740155b5e2e661841fb9b9dfa945a3 SHA256 41193c3f9e53b9cf485d310b5fec394c20128b4f97dfdd3241c77005cbce1fc7
-MD5 fce26c99ccf2bd1524e7bfe9b595403a coq-8.0_p3.ebuild 2052
-RMD160 cb7b0d74bab1aa29db34f1275c088ae61fee0c14 coq-8.0_p3.ebuild 2052
-SHA256 41193c3f9e53b9cf485d310b5fec394c20128b4f97dfdd3241c77005cbce1fc7 coq-8.0_p3.ebuild 2052
-MISC ChangeLog 2903 RMD160 a9e583806e4eec82e6d07def8025d5f3770a271e SHA1 b8867172fd9b9c43f07769fa526d71ce8ea18415 SHA256 d8416024186ff8fba1f9bb79a7a154723197ce09779e8e6509caa6e01f9b8f9c
-MD5 7becf3d8fcb9f2ea3febace4474022a6 ChangeLog 2903
-RMD160 a9e583806e4eec82e6d07def8025d5f3770a271e ChangeLog 2903
-SHA256 d8416024186ff8fba1f9bb79a7a154723197ce09779e8e6509caa6e01f9b8f9c ChangeLog 2903
+EBUILD coq-8.0_p3.ebuild 2053 RMD160 62c0e60f0bfb398102419a0b8ba4e58cf02c1680 SHA1 252aa18197fa50853594c82d577b364a5ebcf157 SHA256 33d8042f307ce8fd1436be66245c3cb71bed51564aa8a3cd0ba97aafae282597
+MD5 253d103e005e0e6c78757821d59857b5 coq-8.0_p3.ebuild 2053
+RMD160 62c0e60f0bfb398102419a0b8ba4e58cf02c1680 coq-8.0_p3.ebuild 2053
+SHA256 33d8042f307ce8fd1436be66245c3cb71bed51564aa8a3cd0ba97aafae282597 coq-8.0_p3.ebuild 2053
+MISC ChangeLog 2998 RMD160 380a342ac7c4199c90f50992508f49798d61e90c SHA1 2fe0cb124fe729c30f46b9e416cb82b103c959a2 SHA256 364e79bf4f7ba6e153d5d12f1898c2d1c6a5a4a28d663a0941be25fa8b4dbb9f
+MD5 0c651381d712216e4a0d2a746bf2c99c ChangeLog 2998
+RMD160 380a342ac7c4199c90f50992508f49798d61e90c ChangeLog 2998
+SHA256 364e79bf4f7ba6e153d5d12f1898c2d1c6a5a4a28d663a0941be25fa8b4dbb9f ChangeLog 2998
 MISC metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 SHA1 c4b88bc0384a23bb4d4a6ab24185515911452b1b SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140
 MD5 051b19b1bff1e9764732760637bf1594 metadata.xml 245
 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 metadata.xml 245
@@ -41,3 +44,10 @@ SHA256 a3b19476c72b3a27e40f09715030ceb8a0ec7ab781257b8542e9cba0f8c7cb3a files/di
 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.5-ecc0.1.6 (GNU/Linux)
+
+iD8DBQFFCvidKRy60XGEcJIRAgBKAJ9TtmW0h9GUosmgaTyJ1kKqrkmpDQCfWa8T
+gh+Jl1abvdRlyBKjcpwfJkw=
+=ld7w
+-----END PGP SIGNATURE-----