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 (11)
-
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" -
rocq-num-analysis-algebra
>= "2.2.0" -
rocq-num-analysis-fem
>= "2.2.0" -
rocq-num-analysis-lax-milgram
>= "2.2.0" -
rocq-num-analysis-lebesgue
>= "2.2.0" -
rocq-num-analysis-subset
>= "2.2.0"
Conflicts
None
On This Page