diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2007-12-17 21:29:00 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2007-12-17 21:29:00 +0000 |
| commit | 8414a360be2855cdad546977ed9745911841c080 (patch) | |
| tree | d9483bca2b57f51dee191726b458af16fcfa7be4 /sci-mathematics | |
| parent | no need to dodoc the license (diff) | |
| download | gentoo-2-8414a360be2855cdad546977ed9745911841c080.tar.gz gentoo-2-8414a360be2855cdad546977ed9745911841c080.tar.bz2 gentoo-2-8414a360be2855cdad546977ed9745911841c080.zip | |
no need to dodoc the license
(Portage version: 2.1.4_rc10)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 47c464c73c87..89214aa7c46b 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -11,26 +11,26 @@ DIST coq-8.0pl3.tar.gz 2309002 RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 S DIST coq-8.1pl1.tar.gz 2984726 RMD160 9982d2022abfb2f74dc34cdc6cdd25343f5cb583 SHA1 8142cd21b3d0b5fd56c3b5568550c09cac91a3f8 SHA256 04ffc9c5a31953af6294753118dbb2e41b6aa5aaa5a41f7cf2648afff98f4940 DIST coq-8.1pl2.tar.gz 2997185 RMD160 e45451fdd41b1f979febcfb2c0dbd19a39d09256 SHA1 33ab31abffe42559a5c8341b66a0520805337526 SHA256 04d1ab1cfefe453224dee89d4351fd45a9553acc8f242e87f8fdad6e8af5320c DIST coq-8.1pl3.tar.gz 3003593 RMD160 f8f4749e1014cb47a83915550713cf9ce1992e34 SHA1 c06141891c2a793ff6b4bc1f106d9477b3a9a52e SHA256 7f8f45594adff2625312c5ecb144cb00d39c99201dac309c9286b34d01a36bb6 -EBUILD coq-8.0_p3.ebuild 2060 RMD160 5c9fb6e5104e9824a15a4a82abdfd999d93168bd SHA1 5a39cafd57fc874b055e3958838e154dabe80854 SHA256 8009f9bf144e2fe48f86c2e08449a5bbc6b4a764b8787d5b8cfe1a85075e6930 -MD5 fcf102eef2d175229b01e7880cbf4213 coq-8.0_p3.ebuild 2060 -RMD160 5c9fb6e5104e9824a15a4a82abdfd999d93168bd coq-8.0_p3.ebuild 2060 -SHA256 8009f9bf144e2fe48f86c2e08449a5bbc6b4a764b8787d5b8cfe1a85075e6930 coq-8.0_p3.ebuild 2060 -EBUILD coq-8.1_p1.ebuild 1615 RMD160 f2f185ef5d701bbbb3cf417d52b477ed4e17ba98 SHA1 60eee190fb028495adf7094dd473ab1473dc1649 SHA256 2ace8856bc47881991cfe64606c7d4d0e3ec99e6a1a545ad16c73891fc518168 -MD5 eff7f90e552a097ad58a4ea2606d5092 coq-8.1_p1.ebuild 1615 -RMD160 f2f185ef5d701bbbb3cf417d52b477ed4e17ba98 coq-8.1_p1.ebuild 1615 -SHA256 2ace8856bc47881991cfe64606c7d4d0e3ec99e6a1a545ad16c73891fc518168 coq-8.1_p1.ebuild 1615 -EBUILD coq-8.1_p2.ebuild 1707 RMD160 ce08d9a05e6bf60aae1f32501015bc0e4e42246d SHA1 995f6481a4bd1892a7e7bc7d6d5beac5b70f2ca8 SHA256 8eab7d69053318aef442a967885e78dcfa30b2c41656462bd9cc68876043196b -MD5 352d4eeb9b8d3cc44e038527b3b8ffa4 coq-8.1_p2.ebuild 1707 -RMD160 ce08d9a05e6bf60aae1f32501015bc0e4e42246d coq-8.1_p2.ebuild 1707 -SHA256 8eab7d69053318aef442a967885e78dcfa30b2c41656462bd9cc68876043196b coq-8.1_p2.ebuild 1707 +EBUILD coq-8.0_p3.ebuild 2052 RMD160 3b0a5cba24f8c1707db057f5cbdf261689a77ce9 SHA1 a32bc5c69a760c64557eb0641d04c831cc8bb8f3 SHA256 957d73b1a7f66bc3ae3f4b809d5e0c758b56c137f5c6de3ffcc39dbba12e66fe +MD5 0939af0ca70a3ab6d77463ed752d312e coq-8.0_p3.ebuild 2052 +RMD160 3b0a5cba24f8c1707db057f5cbdf261689a77ce9 coq-8.0_p3.ebuild 2052 +SHA256 957d73b1a7f66bc3ae3f4b809d5e0c758b56c137f5c6de3ffcc39dbba12e66fe coq-8.0_p3.ebuild 2052 +EBUILD coq-8.1_p1.ebuild 1607 RMD160 826f068f693967043bfc4742c272e38f905635dd SHA1 0ae0e5f5a9d5d339a44d311c0ee3139b19a55960 SHA256 58813aadfc76dae8565daef7c7ba97467a2f061b80ce6be9f3fbeb1a7ca0495d +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 4468 RMD160 e54b1025509b21153075e70bd3c6895befb34465 SHA1 793ddf9eda70c5e4815854ffedd7c7308c729be7 SHA256 e0a2669e594060e8d3eba79ff1f1fa9d42236151df608ba8746e082a205787e9 -MD5 c569e11095e0a168a7b52eaff8b42ac8 ChangeLog 4468 -RMD160 e54b1025509b21153075e70bd3c6895befb34465 ChangeLog 4468 -SHA256 e0a2669e594060e8d3eba79ff1f1fa9d42236151df608ba8746e082a205787e9 ChangeLog 4468 +MISC ChangeLog 4611 RMD160 b0aa488ba108da8688c408b491d04843215657fc SHA1 5f403ea295e6a05887c47b444176983f7b9b4213 SHA256 12c375db6993a8fb82a4e1e1e8f88b3532eeb1cd6d86337186f1d5d24b343c47 +MD5 80fd9be4203ad59d2273ad4d5f14196c ChangeLog 4611 +RMD160 b0aa488ba108da8688c408b491d04843215657fc ChangeLog 4611 +SHA256 12c375db6993a8fb82a4e1e1e8f88b3532eeb1cd6d86337186f1d5d24b343c47 ChangeLog 4611 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) -iD8DBQFHZumxvFcC4BYPU0oRAu7QAKCV1fUYJX7Z+uf1c26TkxZhy6sPsQCgpR4w -Cw76L9tAlR1YP19UVvOBeds= -=JsaP +iD8DBQFHZuotvFcC4BYPU0oRAo/FAJ0SIaUnJWBqrq3KE68uOH+xDK5wdgCfVLTv +iwl8EhuQKEYtmCdEP/5MTBs= +=LJlo -----END PGP SIGNATURE----- |