diff options
| author |   William Bowman <wilbowma@indiana.edu> | 2011-08-05 11:11:34 -0300 |
|---|---|---|
| committer |   Niels Horn <niels.horn@slackbuilds.org> | 2011-08-05 11:11:34 -0300 |
| commit | bef4f3c03fd2f42dbc028393bc09a88100be5ba1 (patch) | |
| tree | 5e77ff66789bb088f476e78341c57ee21842d2eb /academic/coq/coq.info | |
| parent | 76f24b37e8348f8e1cd835b72fb5a8372786d229 (diff) | |
| download | slackbuilds-bef4f3c03fd2f42dbc028393bc09a88100be5ba1.tar.gz slackbuilds-bef4f3c03fd2f42dbc028393bc09a88100be5ba1.tar.xz | |
academic/coq: Added (The Coq Proof Assistant)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'academic/coq/coq.info')
| -rw-r--r-- | academic/coq/coq.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/coq/coq.info b/academic/coq/coq.info new file mode 100644 index 0000000000..f23d0bd09c --- /dev/null +++ b/academic/coq/coq.info @@ -0,0 +1,10 @@ +PRGNAM="coq" +VERSION="8.3pl2" +HOMEPAGE="http://coq.inria.fr/" +DOWNLOAD="http://coq.inria.fr/distrib/V8.3pl2/files/coq-8.3pl2.tar.gz" +MD5SUM="db415f6c5372f5a443699c62f5affcb4" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +MAINTAINER="William Bowman" +EMAIL="wilbowma@indiana.edu" +APPROVED="Niels Horn" |