BDEPEND=dev-lang/ocaml dev-ml/dune
DEFINED_PHASES=compile install test
DEPEND=>=sci-mathematics/coq-9.1.0:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
DESCRIPTION=Stdlib for the Coq/Rocq Prover, used to be part of Coq
EAPI=8
HOMEPAGE=https://github.com/coq/stdlib/
INHERIT=dune
IUSE=+ocamlopt
KEYWORDS=~amd64 ~arm64
LICENSE=LGPL-2.1
RDEPEND=>=sci-mathematics/coq-9.1.0:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
SLOT=0/9.1.0
SRC_URI=https://github.com/coq/stdlib/archive/V9.1.0.tar.gz -> coq-stdlib-9.1.0.gh.tar.gz
_eclasses_=dune	bca6089ec4118f02802b8cee78a748c5	edo	e472083829a6e7ff43a197cf536728a2	edob	357e125b8c5cad0deccb625e537ea831	multiprocessing	45d0620f25c2f063ad6276ecd9ed9399
_md5_=e2c4efd6152901dcc07cb82aba3f9815