diff options
| author |   Nick Smallbone | 2020-01-18 01:49:05 +0100 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo | 2020-01-18 01:49:05 +0100 |
| commit | 25d036b157ee70a44577dcb95ba365f5d1501491 (patch) | |
| tree | 76ada3e96a291bed0e9a5ded29961fbe543c07f0 /academic/coq/coq.info | |
| parent | a7ac25a4b1424457802304a26696d29d7b6439e9 (diff) | |
| download | slackbuilds-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.info | 12 |
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" |