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"