diff options
Diffstat (limited to 'sci-mathematics/coq/files/digest-coq-8.1_p2')
-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 |