summaryrefslogtreecommitdiff
path: root/academic/coq/coq.info
diff options
context:
space:
mode:
authorNick Smallbone <nick@smallbone.se>2020-01-18 07:49:05 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2020-01-18 07:49:05 +0700
commit25d036b157ee70a44577dcb95ba365f5d1501491 (patch)
tree76ada3e96a291bed0e9a5ded29961fbe543c07f0 /academic/coq/coq.info
parenta7ac25a4b1424457802304a26696d29d7b6439e9 (diff)
downloadslackbuilds-25d036b157ee70a44577dcb95ba365f5d1501491.tar.gz
academic/coq: Updated for version 8.9.0.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq/coq.info')
-rw-r--r--academic/coq/coq.info12
1 files changed, 6 insertions, 6 deletions
diff --git a/academic/coq/coq.info b/academic/coq/coq.info
index 9cd9d5bb91..93554ae125 100644
--- a/academic/coq/coq.info
+++ b/academic/coq/coq.info
@@ -1,10 +1,10 @@
PRGNAM="coq"
-VERSION="8.5pl1"
+VERSION="8.9.0"
HOMEPAGE="http://coq.inria.fr/"
-DOWNLOAD="https://coq.inria.fr/distrib/V8.5pl1/files/coq-8.5pl1.tar.gz"
-MD5SUM="1faa8a237c3e81905dc938b6b727b807"
+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"
-MAINTAINER="William Bowman"
-EMAIL="wilbowma@indiana.edu"
+REQUIRES="camlp5 ocaml-findlib"
+MAINTAINER="Nick Smallbone"
+EMAIL="nick@smallbone.se"