diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-11-18 22:53:10 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-11-18 22:53:10 +0000 |
| commit | 1a2eab458e67e1cb67625a3464e111a4bd0d1f38 (patch) | |
| tree | a29046bb9c40d4a52e303533f7716d2c7a221191 /app-sci | |
| parent | Add patch for ocaml-3.08.1 (diff) | |
| download | gentoo-2-1a2eab458e67e1cb67625a3464e111a4bd0d1f38.tar.gz gentoo-2-1a2eab458e67e1cb67625a3464e111a4bd0d1f38.tar.bz2 gentoo-2-1a2eab458e67e1cb67625a3464e111a4bd0d1f38.zip | |
Add patch for ocaml-3.08.1 (Manifest recommit)
Diffstat (limited to 'app-sci')
| -rw-r--r-- | app-sci/coq/Manifest | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/app-sci/coq/Manifest b/app-sci/coq/Manifest index c00c12dff13c..0d8a82e0cdcc 100644 --- a/app-sci/coq/Manifest +++ b/app-sci/coq/Manifest @@ -1,11 +1,12 @@ -MD5 1e1b2a26dc57dbb1765cbb2b553d398c ChangeLog 1399 +MD5 4b3e22466363130a7a799228534043a2 coq-8.0.ebuild 1910 MD5 2559fb0ebf76645f855752a3a18fa7d2 coq-7.4.ebuild 975 +MD5 c919fa171c61513b8683d11944adc86b ChangeLog 1538 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 4b3e22466363130a7a799228534043a2 coq-8.0.ebuild 1910 -MD5 10df3ee1a69584eddf40eb9ad0493471 coq-8.0-r1.ebuild 1948 +MD5 da62f53c7b4fab39a73e5f847ac5cad5 coq-8.0-r1.ebuild 2056 +MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321 +MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 +MD5 86922705a72292e7508baae5bc75e2a3 files/digest-coq-8.0 130 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 |