diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2006-02-04 17:15:51 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2006-02-04 17:15:51 +0000 |
| commit | 2b7e78164d3f1cd63223bcf714566b4963426acc (patch) | |
| tree | 75f58cfbd08d80af99803048dec14dd7c2866e7f /sci-mathematics/coq/files | |
| parent | Mark 2.12.0 stable on alpha (diff) | |
| download | gentoo-2-2b7e78164d3f1cd63223bcf714566b4963426acc.tar.gz gentoo-2-2b7e78164d3f1cd63223bcf714566b4963426acc.tar.bz2 gentoo-2-2b7e78164d3f1cd63223bcf714566b4963426acc.zip | |
Remove old version, incompatible with current ocaml and move current to stable (over a year of testing:)
(Portage version: 2.0.51.22-r1)
Diffstat (limited to 'sci-mathematics/coq/files')
| -rw-r--r-- | sci-mathematics/coq/files/digest-coq-7.4 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sci-mathematics/coq/files/digest-coq-7.4 b/sci-mathematics/coq/files/digest-coq-7.4 deleted file mode 100644 index ab1d3353a4d9..000000000000 --- a/sci-mathematics/coq/files/digest-coq-7.4 +++ /dev/null @@ -1 +0,0 @@ -MD5 13ac61f150823e54ad84a9096e2dd646 coq-7.4.tar.gz 1537547 |