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 93554ae125..0000000000 --- a/academic/coq/coq.info +++ /dev/null @@ -1,10 +0,0 @@ -PRGNAM="coq" -VERSION="8.9.0" -HOMEPAGE="http://coq.inria.fr/" -DOWNLOAD="https://github.com/coq/coq/archive/V8.9.0/coq-8.9.0.tar.gz" -MD5SUM="490c89609c1271fe7f20e6ea1bd107b5" -DOWNLOAD_x86_64="" -MD5SUM_x86_64="" -REQUIRES="camlp5 ocaml-findlib" -MAINTAINER="Nick Smallbone" -EMAIL="nick@smallbone.se" |