diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2006-09-14 13:32:05 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2006-09-14 13:32:05 +0000 |
| commit | 97356ff95993b7cacb9dbe2a3777e9e063f507db (patch) | |
| tree | f1a146798dd0e98a45637c520b9202a6b647ce7e /sci-mathematics/coq | |
| parent | Mark stable on x86, ppc and amd64 (diff) | |
| download | gentoo-2-97356ff95993b7cacb9dbe2a3777e9e063f507db.tar.gz gentoo-2-97356ff95993b7cacb9dbe2a3777e9e063f507db.tar.bz2 gentoo-2-97356ff95993b7cacb9dbe2a3777e9e063f507db.zip | |
Mark stable on x86, ppc and amd64
(Portage version: 2.1-r1)
(Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 28 |
1 files changed, 9 insertions, 19 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index f1a89275480a..2cdbeb587738 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,6 +1,3 @@ ------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 @@ -19,21 +16,21 @@ RMD160 8506611923b6a54b546419df43cda235d8fa042e files/ocaml-3.07.patch 333 SHA256 d1cb93dedf8aa61723e897bdaf3aefd5699cb53a5042aeac408fef392095250a files/ocaml-3.07.patch 333 DIST coq-8.0_p3-ocaml-3.09.patch.gz 5256 RMD160 17dd484a71ddcf5724435ef7386db070b9840949 SHA256 6eacae4a27de43e5cef2ef8c5971f869bf0df291436aa1ac573fd8bf7ae698fc DIST coq-8.0pl1-translator.tar.gz 233233 RMD160 dc241dcd596e5c667a4e8295eb44f23cbfef432e SHA256 baea2c89f52c06062b3c38d3cd9367206dcbb7728a0315d1d2ce49524f4aa340 -DIST coq-8.0pl1.tar.gz 2272613 RMD160 e8437bc84e130757ae4bc46b832a95c0ea655da3 SHA256 e90955b200b1bd64093eeebbad173d1228ea9d88aea0615a28de08782024be33 +DIST coq-8.0pl1.tar.gz 2272613 RMD160 e8437bc84e130757ae4bc46b832a95c0ea655da3 SHA1 6a34bbed937e57b6e783765344004fadf9cd827f SHA256 e90955b200b1bd64093eeebbad173d1228ea9d88aea0615a28de08782024be33 DIST coq-8.0pl3-translator.tar.gz 233228 RMD160 7dd748ee5929faf93ca75bec94b443573405b0fe SHA256 78def7e2998526db8c5740580113802a821c31de65bb12a7c74c512f6a9328f7 DIST coq-8.0pl3.tar.gz 2309002 RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c EBUILD coq-8.0-r1.ebuild 2067 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 SHA1 9bdcac16c82d1dadc8009fd98e20c15e251d5be7 SHA256 fed6aac37fc0537174cc37f16e4afa53d19868ae5a4ed1ddc30628d05febcc20 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 2054 RMD160 9c6f4662327ce9f8894be7aae5253cc0ba51f18d SHA1 d87365a31106f3e452db303d19ca2fdcde3e05c7 SHA256 c15af9d372b2d38594a308fd9a1662b6495c806752b156434f61669e3b76852a -MD5 3c5fa38730258cd884b0156b4a8ad519 coq-8.0_p3.ebuild 2054 -RMD160 9c6f4662327ce9f8894be7aae5253cc0ba51f18d coq-8.0_p3.ebuild 2054 -SHA256 c15af9d372b2d38594a308fd9a1662b6495c806752b156434f61669e3b76852a coq-8.0_p3.ebuild 2054 -MISC ChangeLog 2664 RMD160 c05db1a3b1882386e897fafd1170f1a4f4711d63 SHA1 92d8f04462d52d3b55e9c59df338b91e65edc7cf SHA256 a7c036fd77c4012029dba8e590fc6c155e8a53e7a808036d5cd24f07e11d8bb9 -MD5 d7920a89357e2ea2430e560d1b502fab ChangeLog 2664 -RMD160 c05db1a3b1882386e897fafd1170f1a4f4711d63 ChangeLog 2664 -SHA256 a7c036fd77c4012029dba8e590fc6c155e8a53e7a808036d5cd24f07e11d8bb9 ChangeLog 2664 +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 MISC metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 SHA1 c4b88bc0384a23bb4d4a6ab24185515911452b1b SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140 MD5 051b19b1bff1e9764732760637bf1594 metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 metadata.xml 245 @@ -44,10 +41,3 @@ 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.3 (GNU/Linux) - -iD8DBQFEpmT1wx9vvAARv2sRArkMAJwNS/CDziZLcos8IylxoUMTx9qhaACfX32r -6s5QlDcva1FlyxEz6oil6DA= -=vjZ6 ------END PGP SIGNATURE----- |