package coq-stdlib
Compatibility metapackage for Coq Stdlib library after the Rocq renaming
Install
Dune Dependency
Authors
Maintainers
Description
Published: 11 Feb 2026
Dependencies (2)
-
rocq-stdlib
= version - coq-core
Dev Dependencies
None
Used by (6)
-
coq-bignums
>= "9.0.0+rocq9.0" -
coq-coquelicot
>= "3.4.4" -
coq-flocq
>= "4.2.2" -
coq-interval
>= "4.11.4" -
coq-mathcomp-algebra-tactics
>= "1.2.6" -
coq-tactician
>= "1.0~beta2.1+8.17"
Conflicts
None
On This Page