diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2007-12-19 20:08:15 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2007-12-19 20:08:15 +0000 |
| commit | ca0e9b8f393ad7f60302d4ee46fcafc4c7b48adc (patch) | |
| tree | a76c1cf0205aa0bd9a962f235218dba98bf9a566 /sci-mathematics | |
| parent | fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 in... (diff) | |
| download | gentoo-2-ca0e9b8f393ad7f60302d4ee46fcafc4c7b48adc.tar.gz gentoo-2-ca0e9b8f393ad7f60302d4ee46fcafc4c7b48adc.tar.bz2 gentoo-2-ca0e9b8f393ad7f60302d4ee46fcafc4c7b48adc.zip | |
fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 installed but not camlp5, thanks jakub for the help there
(Portage version: 2.1.4_rc10)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 89214aa7c46b..e954a645fbbc 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -19,18 +19,18 @@ EBUILD coq-8.1_p1.ebuild 1607 RMD160 826f068f693967043bfc4742c272e38f905635dd SH MD5 c06ffd47ac0e4986ede67668af6f2a76 coq-8.1_p1.ebuild 1607 RMD160 826f068f693967043bfc4742c272e38f905635dd coq-8.1_p1.ebuild 1607 SHA256 58813aadfc76dae8565daef7c7ba97467a2f061b80ce6be9f3fbeb1a7ca0495d coq-8.1_p1.ebuild 1607 -EBUILD coq-8.1_p2.ebuild 1699 RMD160 054f334ff5f9c2ab589b086f2ad5a03a6deaa9df SHA1 79d2026f26aa30eb5b0d93bcf3c1027a93fb5247 SHA256 419433c13af9e96ffa1f30c6c4bf4141f66a92ecf26aeebbc16d0ae2fce30ee6 -MD5 bc75db6e43de0311cd430d2ee7369d1f coq-8.1_p2.ebuild 1699 -RMD160 054f334ff5f9c2ab589b086f2ad5a03a6deaa9df coq-8.1_p2.ebuild 1699 -SHA256 419433c13af9e96ffa1f30c6c4bf4141f66a92ecf26aeebbc16d0ae2fce30ee6 coq-8.1_p2.ebuild 1699 -EBUILD coq-8.1_p3.ebuild 1699 RMD160 e18dbf779173692c5e077d47f18c779202a66743 SHA1 021d95d354b4582a5a344ff0ff7518cc84f0f276 SHA256 9daa8712943f798202c1cd669d80038b219725b3546f71690e749a6430778142 -MD5 07aab78e7db01d0457c68b94ce8403a0 coq-8.1_p3.ebuild 1699 -RMD160 e18dbf779173692c5e077d47f18c779202a66743 coq-8.1_p3.ebuild 1699 -SHA256 9daa8712943f798202c1cd669d80038b219725b3546f71690e749a6430778142 coq-8.1_p3.ebuild 1699 -MISC ChangeLog 4611 RMD160 b0aa488ba108da8688c408b491d04843215657fc SHA1 5f403ea295e6a05887c47b444176983f7b9b4213 SHA256 12c375db6993a8fb82a4e1e1e8f88b3532eeb1cd6d86337186f1d5d24b343c47 -MD5 80fd9be4203ad59d2273ad4d5f14196c ChangeLog 4611 -RMD160 b0aa488ba108da8688c408b491d04843215657fc ChangeLog 4611 -SHA256 12c375db6993a8fb82a4e1e1e8f88b3532eeb1cd6d86337186f1d5d24b343c47 ChangeLog 4611 +EBUILD coq-8.1_p2.ebuild 1725 RMD160 148b357bf5ea699e22469a375ce6d3149ac75218 SHA1 bf69e59f9036cad26a1f5f532ae601ec870199a9 SHA256 328b25de69f8a2741b83bb3225c8c22ead842e307634c2f248432317d8b0d2ad +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 1725 RMD160 4f2d42d2cb2f9449d638e808bf4dce387613044f SHA1 ef5feb43d194e9c1ac1fc584103ec749491cbc12 SHA256 514aa85ad44baaddbc205c7905cfcdd27048e4908d8b67827eab0bc2542610f1 +MD5 c3bbc4a95facc64b5cb3bdb3d0f69c08 coq-8.1_p3.ebuild 1725 +RMD160 4f2d42d2cb2f9449d638e808bf4dce387613044f coq-8.1_p3.ebuild 1725 +SHA256 514aa85ad44baaddbc205c7905cfcdd27048e4908d8b67827eab0bc2542610f1 coq-8.1_p3.ebuild 1725 +MISC ChangeLog 4841 RMD160 3c52002aaab02e1837c4445148dfa1e5eb1fe4ae SHA1 4fea83d1e8c5b87729f0997817c37e9a45a7f5c9 SHA256 94f0bf3dcfa38d242eb7ad5d4fc9d747f045b5a4a72df4dab8a9f64626b0cc1c +MD5 297d4206b69dcc2517b892d343ace1ad ChangeLog 4841 +RMD160 3c52002aaab02e1837c4445148dfa1e5eb1fe4ae ChangeLog 4841 +SHA256 94f0bf3dcfa38d242eb7ad5d4fc9d747f045b5a4a72df4dab8a9f64626b0cc1c ChangeLog 4841 MISC metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b MD5 587dfb99f9b1ef3ef6a79733b24811cc metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 metadata.xml 174 @@ -50,7 +50,7 @@ SHA256 73bd61ecaed8280418c5ffe57c15b20f1cb66ccfb78630fb9c87c30e2a4a8fe6 files/di -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) -iD8DBQFHZuotvFcC4BYPU0oRAo/FAJ0SIaUnJWBqrq3KE68uOH+xDK5wdgCfVLTv -iwl8EhuQKEYtmCdEP/5MTBs= -=LJlo +iD8DBQFHaXotvFcC4BYPU0oRAgxXAJwORvHIV5J8CS3oOEcSisnmicEsjACgmO6V +BlozLVwRarZy3uFWSnPPtD4= +=asbp -----END PGP SIGNATURE----- |