diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2006-02-04 16:30:37 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2006-02-04 16:30:37 +0000 |
| commit | 69a3df3a60e2ecf8da01c22ea3b499c78dc3504a (patch) | |
| tree | 065810415bc9ce00cd80e4a361843e8127cbc27a /sci-mathematics/coq | |
| parent | Drop dependencies over autotools, autotools eclass take care of that. Change ... (diff) | |
| download | gentoo-2-69a3df3a60e2ecf8da01c22ea3b499c78dc3504a.tar.gz gentoo-2-69a3df3a60e2ecf8da01c22ea3b499c78dc3504a.tar.bz2 gentoo-2-69a3df3a60e2ecf8da01c22ea3b499c78dc3504a.zip | |
Added latest version, compatible with ocaml-3.09
(Portage version: 2.0.51.22-r1)
(Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index eb28d737e13a..812c20a255b3 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,8 +1,8 @@ -MD5 19603af91716dae4c439fe579beb5b5c coq-8.0_p3.ebuild 2062 -MD5 1e57bd9e9ea90a48c287e727cc79feda coq-7.4.ebuild 986 -MD5 038590a535f5d621d4cbb99b6f7b0be5 ChangeLog 2158 +MD5 2561503852b06c6950d1e30e0c696835 coq-8.0_p3.ebuild 2059 +MD5 3d54f6b5dc456dd623a0f1ae04864e5c coq-7.4.ebuild 983 +MD5 9cb58d2978f6b0b70fe46dea6cfd1cf7 ChangeLog 2155 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 ac8fe1e3ed65c0d733dfd10ac1d3dad0 coq-8.0-r1.ebuild 2074 +MD5 1df42d2fd48cb3e893cf9761a68098c3 coq-8.0-r1.ebuild 2071 MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321 MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136 MD5 94b1d26b3c8781903409657f25b64f29 files/digest-coq-8.0_p3 209 |