diff options
| author |   Gustavo Zacarias <gustavoz@gentoo.org> | 2006-09-15 19:01:53 +0000 |
|---|---|---|
| committer | Gustavo Zacarias <gustavoz@gentoo.org> | 2006-09-15 19:01:53 +0000 |
| commit | e85572d0c7af12303448bb8880829c1b80baa2a8 (patch) | |
| tree | 5a449d33de27ae24fe677552b2e7f9f407b68ee9 /sci-mathematics/coq | |
| parent | Stable on sparc (diff) | |
| download | gentoo-2-e85572d0c7af12303448bb8880829c1b80baa2a8.tar.gz gentoo-2-e85572d0c7af12303448bb8880829c1b80baa2a8.tar.bz2 gentoo-2-e85572d0c7af12303448bb8880829c1b80baa2a8.zip | |
Stable on sparc
(Portage version: 2.1.1)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 26 |
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----- |