diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1 b/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1 deleted file mode 100644 index 40f8eade298e..000000000000 --- a/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0-r1 +++ /dev/null @@ -1,12 +0,0 @@ -DEFINED_PHASES=compile configure install prepare -DEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] dev-ml/zarith:= dev-ml/lablgtk:2=[sourceview,ocamlopt=] dev-ml/camlzip:= sci-mathematics/psmt2-frontend >=dev-ml/ocplib-simplex-0.4:= >=dev-ml/menhir-20181006:= dev-ml/seq:= dev-ml/dune:= dev-ml/num:= -DESCRIPTION=Automatic theorem prover -EAPI=7 -HOMEPAGE=https://alt-ergo.ocamlpro.com -IUSE=examples gtk +ocamlopt -KEYWORDS=amd64 -LICENSE=CeCILL-C -RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] dev-ml/zarith:= dev-ml/lablgtk:2=[sourceview,ocamlopt=] dev-ml/camlzip:= sci-mathematics/psmt2-frontend >=dev-ml/ocplib-simplex-0.4:= >=dev-ml/menhir-20181006:= dev-ml/seq:= dev-ml/dune:= dev-ml/num:= -SLOT=0 -SRC_URI=https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.0/alt-ergo-2.3.0.tar.gz -_md5_=6f5938c2fb38cfe339650c7b763d96a1 |