diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2007-10-20 15:37:29 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2007-10-20 15:37:29 +0000 |
| commit | ed83766f45ece8def420b011e3e93876d6f4ba45 (patch) | |
| tree | a8af0a770ef95560037ceadd814a67b804d72972 /sci-mathematics/coq/files | |
| parent | version bump; cleanup (diff) | |
| download | historical-ed83766f45ece8def420b011e3e93876d6f4ba45.tar.gz historical-ed83766f45ece8def420b011e3e93876d6f4ba45.tar.bz2 historical-ed83766f45ece8def420b011e3e93876d6f4ba45.zip | |
version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)
Package-Manager: portage-2.1.3.15
Diffstat (limited to 'sci-mathematics/coq/files')
| -rw-r--r-- | sci-mathematics/coq/files/digest-coq-8.1_p2 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sci-mathematics/coq/files/digest-coq-8.1_p2 b/sci-mathematics/coq/files/digest-coq-8.1_p2 new file mode 100644 index 000000000000..dbdb3c73a5b2 --- /dev/null +++ b/sci-mathematics/coq/files/digest-coq-8.1_p2 @@ -0,0 +1,3 @@ +MD5 714e8ba53758c4e61af8854a4892d174 coq-8.1pl2.tar.gz 2997185 +RMD160 e45451fdd41b1f979febcfb2c0dbd19a39d09256 coq-8.1pl2.tar.gz 2997185 +SHA256 04d1ab1cfefe453224dee89d4351fd45a9553acc8f242e87f8fdad6e8af5320c coq-8.1pl2.tar.gz 2997185 |