Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/coq-stdlib
Stdlib for the Coq/Rocq Prover, used to be part of Coq
Screenshots
https://github.com/coq/stdlib
coq-stdlib-9.0.0
~amd64 ~arm64
+ocamlopt
View
Download
Browse
License: LGPL-2.1
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
coq-stdlib-9.0.0
>=
sci-mathematics/coq
-9.0.0
>=
dev-lang/ocaml
-4:=[
ocamlopt
?
]
dev-ml/dune
:=