diff options
author | Nick Smallbone | 2022-01-30 10:16:38 +0100 |
---|---|---|
committer | Willy Sudiarto Raharjo | 2022-02-02 05:23:15 +0100 |
commit | f2ade4af1ba09487164a81a272dd31af0ef3e36f (patch) | |
tree | 71d6352218feeb708591b6cfdc46e16047a2e96b /academic/coq/coq.info | |
parent | d8b589c80564a1f9366888a06330d02ec0ccef8a (diff) | |
download | slackbuilds-f2ade4af1ba09487164a81a272dd31af0ef3e36f.tar.gz |
academic/coq: Updated for version 8.12.2.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq/coq.info')
-rw-r--r-- | academic/coq/coq.info | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/academic/coq/coq.info b/academic/coq/coq.info index 93554ae125..7803effa6d 100644 --- a/academic/coq/coq.info +++ b/academic/coq/coq.info @@ -1,10 +1,10 @@ PRGNAM="coq" -VERSION="8.9.0" +VERSION="8.12.2" HOMEPAGE="http://coq.inria.fr/" -DOWNLOAD="https://github.com/coq/coq/archive/V8.9.0/coq-8.9.0.tar.gz" -MD5SUM="490c89609c1271fe7f20e6ea1bd107b5" +DOWNLOAD="https://github.com/coq/coq/archive/V8.12.2/coq-8.12.2.tar.gz" +MD5SUM="e6746ce2c527e8f9d69a57dc2f7d41d1" DOWNLOAD_x86_64="" MD5SUM_x86_64="" -REQUIRES="camlp5 ocaml-findlib" +REQUIRES="ocaml-num" MAINTAINER="Nick Smallbone" EMAIL="nick@smallbone.se" |