From ed83766f45ece8def420b011e3e93876d6f4ba45 Mon Sep 17 00:00:00 2001 From: Alexis Ballier Date: Sat, 20 Oct 2007 15:37:29 +0000 Subject: version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though) Package-Manager: portage-2.1.3.15 --- sci-mathematics/coq/files/digest-coq-8.1_p2 | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 sci-mathematics/coq/files/digest-coq-8.1_p2 (limited to 'sci-mathematics/coq/files') 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 -- cgit v1.2.3-65-gdbad