BDEPEND=dev-lang/ocaml dev-ml/dune
DEFINED_PHASES=compile install test
DEPEND=>=sci-mathematics/coq-9.0.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.0.0:= dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
SLOT=0/9.0.0
SRC_URI=https://github.com/coq/stdlib/archive/V9.0.0.tar.gz -> coq-stdlib-9.0.0.tar.gz
_eclasses_=dune	bca6089ec4118f02802b8cee78a748c5	edo	a5e294016aa84979fcb2459749eb80b2	multiprocessing	45d0620f25c2f063ad6276ecd9ed9399
_md5_=99bcfaa5979ca1082bb82e77764f5dcf