diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2006-02-06 15:18:40 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2006-02-06 15:18:40 +0000 |
| commit | e4904edaec6ad9a5382bf963e075ddd36d67fcec (patch) | |
| tree | d6aff1fcfdf5e740ecc838a7f560ec6133c0237d /sci-mathematics | |
| parent | Fix bad path of patch. (diff) | |
| download | gentoo-2-e4904edaec6ad9a5382bf963e075ddd36d67fcec.tar.gz gentoo-2-e4904edaec6ad9a5382bf963e075ddd36d67fcec.tar.bz2 gentoo-2-e4904edaec6ad9a5382bf963e075ddd36d67fcec.zip | |
Fix bad path of patch.
(Portage version: 2.0.51.22-r2)
(Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index ffe021bfb349..82800cbe73e6 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,7 +1,7 @@ -MD5 d1148834f222c85f7d9ceb9f424ea4f5 ChangeLog 2405 +MD5 33ed2f313933f2c53cc6a9033b3248eb ChangeLog 2405 MD5 cb991d5ec534868ff853690657f2e104 coq-8.0-r1.ebuild 2069 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 22f6d6388ee273fe4ea23d6a27bc39f5 coq-8.0_p3.ebuild 2054 +MD5 3c5fa38730258cd884b0156b4a8ad519 coq-8.0_p3.ebuild 2054 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676 MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321 MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242 |