diff options
| author |   Matteo Bernardini | 2022-02-24 22:37:44 +0100 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo | 2022-02-25 16:58:10 +0100 |
| commit | a50076c98145a8c1d152afcc1675fafed5cb85a5 (patch) | |
| tree | 06d313513d50879801586c49bed2579b57705570 /academic/coq/coq.info | |
| parent | 33064fb6bf044cd2992d0aaee95a3698a2bcff4b (diff) | |
| download | slackbuilds-a50076c98145a8c1d152afcc1675fafed5cb85a5.tar.gz | |
academic/coq: Removed (ftb).
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 | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/academic/coq/coq.info b/academic/coq/coq.info deleted file mode 100644 index 7803effa6d..0000000000 --- a/academic/coq/coq.info +++ /dev/null @@ -1,10 +0,0 @@ -PRGNAM="coq" -VERSION="8.12.2" -HOMEPAGE="http://coq.inria.fr/" -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="ocaml-num" -MAINTAINER="Nick Smallbone" -EMAIL="nick@smallbone.se" |