diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/alt-ergo-1.30')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/alt-ergo-1.30 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/alt-ergo-1.30 b/metadata/md5-cache/sci-mathematics/alt-ergo-1.30 new file mode 100644 index 000000000000..e4917d1465bf --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/alt-ergo-1.30 @@ -0,0 +1,12 @@ +DEFINED_PHASES=compile install +DEPEND=>=dev-lang/ocaml-3.12.1[ocamlopt?] dev-ml/zarith gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] ) dev-ml/camlzip dev-ml/ocplib-simplex +DESCRIPTION=Automatic theorem prover +EAPI=6 +HOMEPAGE=http://alt-ergo.ocamlpro.com +IUSE=examples gtk +ocamlopt +KEYWORDS=~amd64 +LICENSE=CeCILL-C +RDEPEND=>=dev-lang/ocaml-3.12.1[ocamlopt?] dev-ml/zarith gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] ) dev-ml/camlzip dev-ml/ocplib-simplex +SLOT=0 +SRC_URI=https://alt-ergo.ocamlpro.com/http/alt-ergo-1.30/alt-ergo-1.30.tar.gz +_md5_=c9eb17b95972846ff9ce2b78bf9dcb31 |