diff options
Diffstat (limited to 'app-sci/coq/files/digest-coq-8.0_beta')
| -rw-r--r-- | app-sci/coq/files/digest-coq-8.0_beta | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app-sci/coq/files/digest-coq-8.0_beta b/app-sci/coq/files/digest-coq-8.0_beta new file mode 100644 index 000000000000..150e17bc1f6f --- /dev/null +++ b/app-sci/coq/files/digest-coq-8.0_beta @@ -0,0 +1 @@ +MD5 6b1a3a4a725a12a7a129d3cfbe6cdb62 coq-8.0beta.tar.gz 2248308 |