diff options
| author |   Gysbert Wassenaar <nixnut@gentoo.org> | 2009-01-17 16:45:55 +0000 |
|---|---|---|
| committer | Gysbert Wassenaar <nixnut@gentoo.org> | 2009-01-17 16:45:55 +0000 |
| commit | 7a8bdbd08ec081f7abfa51fdb6a1c52039c4b616 (patch) | |
| tree | fe1f0d1a6539efec7633b52f51e4b0ff3fc2bd6c /sci-mathematics/coq | |
| parent | ppc stable #254073 (diff) | |
| download | gentoo-2-7a8bdbd08ec081f7abfa51fdb6a1c52039c4b616.tar.gz gentoo-2-7a8bdbd08ec081f7abfa51fdb6a1c52039c4b616.tar.bz2 gentoo-2-7a8bdbd08ec081f7abfa51fdb6a1c52039c4b616.zip | |
ppc stable #254073
(Portage version: 2.1.6.4/cvs/Linux 2.6.27-hardened-r3 ppc)
(Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 8227d56a9bbe..a33fdf338ff3 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,6 +1,3 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - AUX coq-8.1_p3-cmxa-install.dpatch 782 RMD160 b3977ef5ba2acad230973cb0bfd350f644068105 SHA1 399d3e235744ddb2f40088f5d55e84e5aa2f260d SHA256 799cedbe003c9ff4becf46896f0a0971d160a8075c4979f8ba40577229b3223c AUX coq-8.1_p3-noocamlopt.patch 640 RMD160 dce43c53544a7c4d3437841a89b53e4349627ceb SHA1 a149f74e58999a594b7119c9daab3931ab468920 SHA256 c831fa7ecd2eac30964b61e8f3fddc8f34020833eabeca665984776ccbceb8e6 AUX coqide.desktop 233 RMD160 3f9d112d7f55454f72c42b427005b37971c6e928 SHA1 40571b86c25793e7d4e9bef80f637d7440b03704 SHA256 dba2e81a408ae51e187c2a164794f9505c4abfa0b92f47a44d0e9f96e2b6dfac @@ -8,13 +5,6 @@ DIST coq-8.1pl3.tar.gz 3003593 RMD160 f8f4749e1014cb47a83915550713cf9ce1992e34 S DIST coq-8.1pl4.tar.gz 3009030 RMD160 87dff2cb205951e31e04e5b4596cfd846d309bb2 SHA1 d65f81e465709b52599356d253dd172cc3d395be SHA256 8b78c6b7382426246dab813d9dcdead7d1dc10d26846483fc27d727077588d9d EBUILD coq-8.1_p3-r1.ebuild 1960 RMD160 f9872d7c480891a96491da3fff60d141be5d6f14 SHA1 d8d21794336585c586dba694c345ec42310aa69f SHA256 749ee3a10cd7e4cf86abcbd4d7d69a8dc90b4d8b687141f05298dad50aa73d7e EBUILD coq-8.1_p3.ebuild 2494 RMD160 ea77aa4df5023b2c81b142859f63d307f49a1329 SHA1 58927b93385fcecc9a7021087a477eb0cade8d57 SHA256 b86fc7707fcd2afe90beb698ba3af2e16146cf92af3416c7da3d6ad8835e558c -EBUILD coq-8.1_p4.ebuild 1768 RMD160 449d09800a03a0e8a3c5433303ddc3e47bf233db SHA1 82983dc62a342a3c1663f77b3b236d7844489547 SHA256 f7b8082644b8c7d35b697d938fa28dd9de4dec635e42b6c406e81021bbea53c9 -MISC ChangeLog 6852 RMD160 c67c1afc461deeb7cd4acf67888e662f89761765 SHA1 7e7af315646d0c072d3bd9d966991ed62e185ab1 SHA256 d4cc3035e35bf544d28014d54af9576023bb9608bfbb281810d0c10d584e1c3a +EBUILD coq-8.1_p4.ebuild 1767 RMD160 3ad1949545093969a7b53896e184cdcd9bf1eff3 SHA1 1716919015434acdf8936bfd0c8891f4c72cdbb7 SHA256 253d8611b132bfb47a1b0fee4cd072e9cb0041a8dce12e4b378b9be049ca7056 +MISC ChangeLog 6935 RMD160 3acbe9c9fb8ce16063763c084fff3e3927e23acc SHA1 b8ce8ed860dd9794c11f8cdf594aafa7bb6a178f SHA256 c150812e8dc0781c6f2992c0470264572ac68fd090ccf7b79586b63b97400ef6 MISC metadata.xml 388 RMD160 ab4766c430a05a02a5b6b2776da289640aec3ad4 SHA1 8194acf3d1e76190ce0ed7579894988d6bdfafd5 SHA256 c4c3a9775a3b5fdb1135006150128687ed692901aea3a0e8be5ba7042fa9802c ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.9 (GNU/Linux) - -iEYEARECAAYFAklruMwACgkQkKaRLQcq0GJv2ACgoGnQtkQBg9gCoNhiOB1EPMZj -AKoAoItGxYuKeNsdpF1f20sk2h+5e9dH -=+XhP ------END PGP SIGNATURE----- |