diff options
Diffstat (limited to 'academic/abella/abella.info')
-rw-r--r-- | academic/abella/abella.info | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/academic/abella/abella.info b/academic/abella/abella.info deleted file mode 100644 index 88abb3f04c..0000000000 --- a/academic/abella/abella.info +++ /dev/null @@ -1,10 +0,0 @@ -PRGNAM="abella" -VERSION="2.0.6" -HOMEPAGE="http://abella-prover.org/" -DOWNLOAD="http://abella-prover.org/distributions/abella-2.0.6.tar.gz" -MD5SUM="077cb3fbbdf35159e4b8860faf431c6a" -DOWNLOAD_x86_64="" -MD5SUM_x86_64="" -REQUIRES="ocamlbuild ocaml-findlib" -MAINTAINER="Jefferson Rocha" -EMAIL="root@slackjeff.com.br" |