diff options
Diffstat (limited to 'academic/abella/abella.info')
| -rw-r--r-- | academic/abella/abella.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/abella/abella.info b/academic/abella/abella.info new file mode 100644 index 000000000000..88abb3f04ccd --- /dev/null +++ b/academic/abella/abella.info @@ -0,0 +1,10 @@ +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" |