diff options
Diffstat (limited to 'sci-mathematics/coq/files/digest-coq-7.4')
| -rw-r--r-- | sci-mathematics/coq/files/digest-coq-7.4 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sci-mathematics/coq/files/digest-coq-7.4 b/sci-mathematics/coq/files/digest-coq-7.4 deleted file mode 100644 index ab1d3353a4d9..000000000000 --- a/sci-mathematics/coq/files/digest-coq-7.4 +++ /dev/null @@ -1 +0,0 @@ -MD5 13ac61f150823e54ad84a9096e2dd646 coq-7.4.tar.gz 1537547 |