summaryrefslogtreecommitdiff
path: root/academic/coq/coq.info
diff options
context:
space:
mode:
authorWilliam Bowman <wilbowma@indiana.edu>2011-08-05 11:11:34 -0300
committerNiels Horn <niels.horn@slackbuilds.org>2011-08-05 11:11:34 -0300
commitbef4f3c03fd2f42dbc028393bc09a88100be5ba1 (patch)
tree5e77ff66789bb088f476e78341c57ee21842d2eb /academic/coq/coq.info
parent76f24b37e8348f8e1cd835b72fb5a8372786d229 (diff)
downloadslackbuilds-bef4f3c03fd2f42dbc028393bc09a88100be5ba1.tar.gz
academic/coq: Added (The Coq Proof Assistant)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'academic/coq/coq.info')
-rw-r--r--academic/coq/coq.info10
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/coq/coq.info b/academic/coq/coq.info
new file mode 100644
index 0000000000..f23d0bd09c
--- /dev/null
+++ b/academic/coq/coq.info
@@ -0,0 +1,10 @@
+PRGNAM="coq"
+VERSION="8.3pl2"
+HOMEPAGE="http://coq.inria.fr/"
+DOWNLOAD="http://coq.inria.fr/distrib/V8.3pl2/files/coq-8.3pl2.tar.gz"
+MD5SUM="db415f6c5372f5a443699c62f5affcb4"
+DOWNLOAD_x86_64=""
+MD5SUM_x86_64=""
+MAINTAINER="William Bowman"
+EMAIL="wilbowma@indiana.edu"
+APPROVED="Niels Horn"