diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2007-12-17 21:26:56 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2007-12-17 21:26:56 +0000 |
| commit | 5d853e3e348bb71af0d69d330eb0f4ae2605558c (patch) | |
| tree | d71410c35565045856e7b87f3802025aa1cafe8e /sci-mathematics | |
| parent | version bump (diff) | |
| download | gentoo-2-5d853e3e348bb71af0d69d330eb0f4ae2605558c.tar.gz gentoo-2-5d853e3e348bb71af0d69d330eb0f4ae2605558c.tar.bz2 gentoo-2-5d853e3e348bb71af0d69d330eb0f4ae2605558c.zip | |
version bump
(Portage version: 2.1.4_rc10)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 22 |
1 files changed, 15 insertions, 7 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 5013c0c2500c..47c464c73c87 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -10,6 +10,7 @@ DIST coq-8.0pl3-translator.tar.gz 233228 RMD160 7dd748ee5929faf93ca75bec94b44357 DIST coq-8.0pl3.tar.gz 2309002 RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 SHA1 b182f25b8e6591139281f7078d049aaa7f0408d8 SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c 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 @@ -22,10 +23,14 @@ EBUILD coq-8.1_p2.ebuild 1707 RMD160 ce08d9a05e6bf60aae1f32501015bc0e4e42246d SH MD5 352d4eeb9b8d3cc44e038527b3b8ffa4 coq-8.1_p2.ebuild 1707 RMD160 ce08d9a05e6bf60aae1f32501015bc0e4e42246d coq-8.1_p2.ebuild 1707 SHA256 8eab7d69053318aef442a967885e78dcfa30b2c41656462bd9cc68876043196b coq-8.1_p2.ebuild 1707 -MISC ChangeLog 4353 RMD160 cd8b685363d2473c0c94cd4b5f340d1806312896 SHA1 1b7ed8bb96091d2f165aa8ef1fbfb86a616afef3 SHA256 bbe5f9a4197c3b15154fb4570a79e997077c8ade15ab6065a22f624694e36d39 -MD5 ecd83c23c237d66c3c9309b76c7a7a50 ChangeLog 4353 -RMD160 cd8b685363d2473c0c94cd4b5f340d1806312896 ChangeLog 4353 -SHA256 bbe5f9a4197c3b15154fb4570a79e997077c8ade15ab6065a22f624694e36d39 ChangeLog 4353 +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 metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b MD5 587dfb99f9b1ef3ef6a79733b24811cc metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 metadata.xml 174 @@ -39,10 +44,13 @@ SHA256 c45e2081aea31363e671e61b8335e4a15955ea13bc5e9f26f6f0a0fd96cdae84 files/di MD5 2cfc8fd041d90954c16584ef6b800760 files/digest-coq-8.1_p2 235 RMD160 02ab849b986c8d8e0da29e3d6dd79b410e2d7c61 files/digest-coq-8.1_p2 235 SHA256 6e90b572e62f580834a9721149404b02faf2cac779670386219b778dfd7492e3 files/digest-coq-8.1_p2 235 +MD5 ee73692d684c6e166f565e21e48cbb84 files/digest-coq-8.1_p3 235 +RMD160 f3768c38ca8e57dcf832134a54d7e778858781dc files/digest-coq-8.1_p3 235 +SHA256 73bd61ecaed8280418c5ffe57c15b20f1cb66ccfb78630fb9c87c30e2a4a8fe6 files/digest-coq-8.1_p3 235 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) -iD8DBQFHGiTqvFcC4BYPU0oRAl+1AKCcjbddmIiIJETyz2BNtTdMLInOwgCfQ9Vk -7a4NUaFLFhNIuUbi8SI2C4Q= -=42X3 +iD8DBQFHZumxvFcC4BYPU0oRAu7QAKCV1fUYJX7Z+uf1c26TkxZhy6sPsQCgpR4w +Cw76L9tAlR1YP19UVvOBeds= +=JsaP -----END PGP SIGNATURE----- |