summaryrefslogtreecommitdiffstats
path: root/academic/coq/coq.info
diff options
context:
space:
mode:
Diffstat (limited to 'academic/coq/coq.info')
-rw-r--r--academic/coq/coq.info10
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"