diff options
| author |   Jason Wever <weeve@gentoo.org> | 2004-08-14 04:43:00 +0000 |
|---|---|---|
| committer | Jason Wever <weeve@gentoo.org> | 2004-08-14 04:43:00 +0000 |
| commit | 6daf92b47f51e10faf99519279293db20087efb4 (patch) | |
| tree | e65a4c062435ec8b525c885940845d84e6c83f6b /app-sci/coq | |
| parent | Added ~sparc keyword. (diff) | |
| download | gentoo-2-6daf92b47f51e10faf99519279293db20087efb4.tar.gz gentoo-2-6daf92b47f51e10faf99519279293db20087efb4.tar.bz2 gentoo-2-6daf92b47f51e10faf99519279293db20087efb4.zip | |
Added ~sparc keyword. (Manifest recommit)
Diffstat (limited to 'app-sci/coq')
| -rw-r--r-- | app-sci/coq/Manifest | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/app-sci/coq/Manifest b/app-sci/coq/Manifest index 19502223ea65..c00c12dff13c 100644 --- a/app-sci/coq/Manifest +++ b/app-sci/coq/Manifest @@ -1,11 +1,11 @@ -MD5 e826079e6cd5df87ce36f2461e2b654e ChangeLog 1310 +MD5 1e1b2a26dc57dbb1765cbb2b553d398c ChangeLog 1399 MD5 2559fb0ebf76645f855752a3a18fa7d2 coq-7.4.ebuild 975 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 d339db772572f94a8a1bbfb760feb745 coq-8.0-r1.ebuild 1942 MD5 4b3e22466363130a7a799228534043a2 coq-8.0.ebuild 1910 -MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242 +MD5 10df3ee1a69584eddf40eb9ad0493471 coq-8.0-r1.ebuild 1948 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 -MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136 MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676 +MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242 MD5 86922705a72292e7508baae5bc75e2a3 files/digest-coq-8.0 130 +MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136 |