diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-04-02 21:02:45 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-04-02 21:02:45 +0000 |
| commit | e7833b600430524622ca7b0de73906c02e6038e0 (patch) | |
| tree | 407ca32699bed3114fa92930f33ec30ec07b3b49 /app-sci/coq/files | |
| parent | Version bump. Closes bug #44354; 1.8.5 marked stable on X86. (Manifest recommit) (diff) | |
| download | gentoo-2-e7833b600430524622ca7b0de73906c02e6038e0.tar.gz gentoo-2-e7833b600430524622ca7b0de73906c02e6038e0.tar.bz2 gentoo-2-e7833b600430524622ca7b0de73906c02e6038e0.zip | |
Added 8.0beta version and marked 7.4 stable.
Diffstat (limited to 'app-sci/coq/files')
| -rw-r--r-- | app-sci/coq/files/digest-coq-8.0_beta | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app-sci/coq/files/digest-coq-8.0_beta b/app-sci/coq/files/digest-coq-8.0_beta new file mode 100644 index 000000000000..150e17bc1f6f --- /dev/null +++ b/app-sci/coq/files/digest-coq-8.0_beta @@ -0,0 +1 @@ +MD5 6b1a3a4a725a12a7a129d3cfbe6cdb62 coq-8.0beta.tar.gz 2248308 |