calculate
/
gentoo-overlay
4
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '853b233b9d'
${ noResults }
gentoo-overlay/metadata/md5-cache/sci-mathematics/alt-ergo-2.3.0

13 lines
752 B
Raw Normal View History Unescape

Sync with portage [Mon Jul 29 11:03:16 MSK 2019].
5 years ago
DEFINED_PHASES=compile configure install
Sync with portage [Sat Sep 7 22:52:10 MSK 2019].
5 years ago
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
Sync with portage [Mon Jul 29 11:03:16 MSK 2019].
5 years ago
DESCRIPTION=Automatic theorem prover
EAPI=7
HOMEPAGE=https://alt-ergo.ocamlpro.com
IUSE=examples gtk +ocamlopt
KEYWORDS=~amd64
LICENSE=CeCILL-C
Sync with portage [Sat Sep 7 22:52:10 MSK 2019].
5 years ago
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
Sync with portage [Mon Jul 29 11:03:16 MSK 2019].
5 years ago
SLOT=0
SRC_URI=https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.0/alt-ergo-2.3.0.tar.gz
Sync with portage [Fri Sep 13 08:44:51 MSK 2019].
5 years ago
_md5_=15e3288182e3ca23743385f4c20ab25a