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	4304f35da0fafecd98eb149d0b7ed4d4	edo	a5e294016aa84979fcb2459749eb80b2	multiprocessing	1e32df7deee68372153dca65f4a7c21f
_md5_=e2c4efd6152901dcc07cb82aba3f9815