diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-09-08 01:07:24 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-09-08 01:07:24 +0100 |
commit | e3cf2c86fca1750343c1885311f857f185ee4f2d (patch) | |
tree | d9d1fbc20509d4c90f57fb2d9e1459bc8034c831 /metadata/md5-cache/sci-mathematics | |
parent | f1af93971b7490792d8541bc790e0d8c6d787059 (diff) |
gentoo resync : 08.09.2019
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 24621 -> 24624 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0 | 6 |
2 files changed, 3 insertions, 3 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 86b2b640204d..935ab3305473 100644 --- a/metadata/md5-cache/sci-mathematics/Manifest.gz +++ b/metadata/md5-cache/sci-mathematics/Manifest.gz diff --git a/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0 b/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0 index a82a9794cc9d..5b32f9e7a8cf 100644 --- a/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0 +++ b/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0 @@ -1,12 +1,12 @@ DEFINED_PHASES=compile configure 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-0.4 >=dev-ml/menhir-20181006 dev-ml/dune +DEPEND=>=dev-lang/ocaml-3.12.1[ocamlopt?] dev-ml/zarith gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] ) dev-ml/camlzip sci-mathematics/psmt2-frontend >=dev-ml/ocplib-simplex-0.4 >=dev-ml/menhir-20181006 dev-ml/dune 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-3.12.1[ocamlopt?] dev-ml/zarith gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] ) dev-ml/camlzip >=dev-ml/ocplib-simplex-0.4 >=dev-ml/menhir-20181006 dev-ml/dune +RDEPEND=>=dev-lang/ocaml-3.12.1[ocamlopt?] dev-ml/zarith gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] ) dev-ml/camlzip sci-mathematics/psmt2-frontend >=dev-ml/ocplib-simplex-0.4 >=dev-ml/menhir-20181006 dev-ml/dune SLOT=0 SRC_URI=https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.0/alt-ergo-2.3.0.tar.gz -_md5_=a5744bc2cc465ddf81ad5e7d97ff8794 +_md5_=acc9a2063582911a9c9189b444b7bbfd |