mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-09-16 14:29:05 -07:00
18 lines
1.3 KiB
Groff
18 lines
1.3 KiB
Groff
BDEPEND=dev-ml/findlib test? ( dev-ml/ounit2 ) dev-lang/ocaml dev-ml/dune
|
|
DEFINED_PHASES=compile configure install prepare pretend setup test
|
|
DEPEND=dev-ml/camlzip:= dev-ml/num:= dev-ml/yojson:= dev-ml/zarith:= gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) native-compiler? ( <dev-lang/ocaml-5:= ) dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
|
|
DESCRIPTION=Coq/Rocq is a proof assistant written in O'Caml
|
|
EAPI=8
|
|
HOMEPAGE=https://rocq-prover.org https://github.com/rocq-prover/rocq/
|
|
INHERIT=check-reqs desktop dune edo
|
|
IUSE=debug gui native-compiler +ocamlopt test
|
|
KEYWORDS=~amd64 ~arm64
|
|
LICENSE=LGPL-2.1
|
|
PDEPEND=sci-mathematics/coq-stdlib
|
|
RDEPEND=dev-ml/camlzip:= dev-ml/num:= dev-ml/yojson:= dev-ml/zarith:= gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) native-compiler? ( <dev-lang/ocaml-5:= ) dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
|
|
RESTRICT=test
|
|
SLOT=0/9.1.1
|
|
SRC_URI=https://github.com/coq/coq/archive/V9.1.1.tar.gz -> coq-9.1.1.tar.gz
|
|
_eclasses_=check-reqs 12ab9d3fc16bfe1f87c6fb652324b57c desktop 26d57169ca094c04be416993844ec8bc edo a5e294016aa84979fcb2459749eb80b2 multiprocessing 45d0620f25c2f063ad6276ecd9ed9399 dune bca6089ec4118f02802b8cee78a748c5
|
|
_md5_=f3332762b2a3f8a0921f3dbe60cf6acc
|