diff options
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 9cd9d5bb91..0000000000 --- a/academic/coq/coq.info +++ /dev/null @@ -1,10 +0,0 @@ -PRGNAM="coq" -VERSION="8.5pl1" -HOMEPAGE="http://coq.inria.fr/" -DOWNLOAD="https://coq.inria.fr/distrib/V8.5pl1/files/coq-8.5pl1.tar.gz" -MD5SUM="1faa8a237c3e81905dc938b6b727b807" -DOWNLOAD_x86_64="" -MD5SUM_x86_64="" -REQUIRES="camlp5" -MAINTAINER="William Bowman" -EMAIL="wilbowma@indiana.edu" |