diff options
Diffstat (limited to 'app-sci/coq/files/digest-coq-8.0')
| -rw-r--r-- | app-sci/coq/files/digest-coq-8.0 | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/app-sci/coq/files/digest-coq-8.0 b/app-sci/coq/files/digest-coq-8.0 deleted file mode 100644 index c339254dca9e..000000000000 --- a/app-sci/coq/files/digest-coq-8.0 +++ /dev/null @@ -1,2 +0,0 @@ -MD5 75ab1eb131b3469d21ab74377826b32b coq-8.0.tar.gz 2281827 -MD5 e2e4ecc8a552c847a656dcf9e47dd738 coq-8.0-translator.tar.gz 233218 |