Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-26 22:06:35 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
slackbuilds_ponce/academic/coq/coq.info

11 lines
295 B
Text
Raw Normal View History

academic/coq: Added (The Coq Proof Assistant) Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
2011-08-05 16:11:34 +02:00
PRGNAM="coq"
academic/coq: Updated for version 8.9.0. Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2020-01-18 01:49:05 +01:00
VERSION="8.9.0"
academic/coq: Added (The Coq Proof Assistant) Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
2011-08-05 16:11:34 +02:00
HOMEPAGE="http://coq.inria.fr/"
academic/coq: Updated for version 8.9.0. Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2020-01-18 01:49:05 +01:00
DOWNLOAD="https://github.com/coq/coq/archive/V8.9.0/coq-8.9.0.tar.gz"
MD5SUM="490c89609c1271fe7f20e6ea1bd107b5"
academic/coq: Added (The Coq Proof Assistant) Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
2011-08-05 16:11:34 +02:00
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
academic/coq: Updated for version 8.9.0. Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2020-01-18 01:49:05 +01:00
REQUIRES="camlp5 ocaml-findlib"
MAINTAINER="Nick Smallbone"
EMAIL="nick@smallbone.se"
Reference in a new issue Copy permalink