diff options
Diffstat (limited to 'academic/coq/coq.info')
| -rw-r--r-- | academic/coq/coq.info | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/academic/coq/coq.info b/academic/coq/coq.info deleted file mode 100644 index 7803effa6dd1f..0000000000000 --- a/academic/coq/coq.info +++ /dev/null @@ -1,10 +0,0 @@ -PRGNAM="coq" -VERSION="8.12.2" -HOMEPAGE="http://coq.inria.fr/" -DOWNLOAD="https://github.com/coq/coq/archive/V8.12.2/coq-8.12.2.tar.gz" -MD5SUM="e6746ce2c527e8f9d69a57dc2f7d41d1" -DOWNLOAD_x86_64="" -MD5SUM_x86_64="" -REQUIRES="ocaml-num" -MAINTAINER="Nick Smallbone" -EMAIL="nick@smallbone.se" |