diff options
| author |   Sebastien Fabbro <bicatali@gentoo.org> | 2010-09-27 04:32:13 +0000 |
|---|---|---|
| committer | Sebastien Fabbro <bicatali@gentoo.org> | 2010-09-27 04:32:13 +0000 |
| commit | 92fc454a5ba0813421fba7d36721263d3c879cbe (patch) | |
| tree | 01667b000b5c63c170a33121dc5ea8f958eccd44 /sci-mathematics/coq | |
| parent | Bump (diff) | |
| download | gentoo-2-92fc454a5ba0813421fba7d36721263d3c879cbe.tar.gz gentoo-2-92fc454a5ba0813421fba7d36721263d3c879cbe.tar.bz2 gentoo-2-92fc454a5ba0813421fba7d36721263d3c879cbe.zip | |
Bump
(Portage version: 2.2_rc86/cvs/Linux x86_64, signed Manifest commit)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 8c38fe963372..46105f9d7630 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -3,13 +3,15 @@ Hash: SHA1 AUX coqide.desktop 233 RMD160 3f9d112d7f55454f72c42b427005b37971c6e928 SHA1 40571b86c25793e7d4e9bef80f637d7440b03704 SHA256 dba2e81a408ae51e187c2a164794f9505c4abfa0b92f47a44d0e9f96e2b6dfac DIST coq-8.2pl1.tar.gz 3600620 RMD160 dd5758a94bb3de49967cec76baa33eb5169659ce SHA1 4aed3302adc2edbaa5d97984512c1c13014bd649 SHA256 7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c +DIST coq-8.2pl2.tar.gz 3649761 RMD160 7ecd8a63d8c6f43c0f4c18737895d656f2275913 SHA1 97e1f3d458845cb2934fa0573521fa517994295a SHA256 0e66c2576150bf18828bfff94df50e3405acda6c728ad01a4906fdbdc6de0236 EBUILD coq-8.2_p1-r1.ebuild 2023 RMD160 6040854d288bf7b9887c36dfffa961a13efccaeb SHA1 d1463fe96e2b5202edb0770af67a77288686db01 SHA256 d81f9be041f55de003b83574c52abc2bea9a119c99cd022b732756170758b26f -MISC ChangeLog 8569 RMD160 0898be65b48ab0fdb76084cfe1e5deb12c75a326 SHA1 c27f62e4471593547ed502a3dfb884ad559c5380 SHA256 07cef9606c47096f1f0b86b44d5cf369c4f6311d45fc2cf7315337fedc5b4658 -MISC metadata.xml 282 RMD160 dfd17179bb9bb01273006a8c00cc941f1a313523 SHA1 bfc493a2aa04b1ee10be87c6e09c3d97e3ecd8e9 SHA256 9885bd063535c49f50e664cde9bba05ce04f880126d126c51768a8ec52780d7c +EBUILD coq-8.2_p2.ebuild 2019 RMD160 74bae30da7b6eaa7d5d01cdb4831130d5daea25d SHA1 934a112b960cafb2d1aedff8da1c265ee6830361 SHA256 69b98043e15462c95a5eb19b6393dfee64bcd257bb491cda0cf7cb1f322d993c +MISC ChangeLog 8695 RMD160 87878a599c8879d1dc6986d90a14c17b6d864f20 SHA1 768af8745e57f3b656e6105aeeed40cdad4a4caa SHA256 5153352ef92af6a7a61fc5af86862afebdce30923defaf3304518cf553d6a274 +MISC metadata.xml 978 RMD160 87ac5db98680ca1eef0b2d5fbdb2963b182a35cb SHA1 cef1c29019652dbe87c3ba5daeeaec63e0bb5e2d SHA256 dd2767eb316b5bf7c1c66c555f3b54b9d812f22631ab8d27151a1ce13b54d203 -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.14 (GNU/Linux) +Version: GnuPG v2.0.16 (GNU/Linux) -iEYEARECAAYFAku/AscACgkQvFcC4BYPU0o2ZwCgl84Ntv1qOCdu06JrIaBo02hW -sEwAoIUPa2WnlcxM3+klwivp6fb9WKF1 -=DeM3 +iEYEARECAAYFAkygHkkACgkQ1ycZbhPLE2BqfwCfdGQ0tysj2ZmmpOW+V6rQOC5D +dHkAn1jvoJ19mk8drglneuhhxwWeW5mO +=jyWa -----END PGP SIGNATURE----- |