package coq-mathcomp-finmap
Compatibility package for rocq-mathcomp-finmap
Install
Dune Dependency
Authors
Maintainers
Description
Dependencies (1)
-
rocq-mathcomp-finmap
= version
Dev Dependencies
None
Used by (6)
-
coq-algorand
< "1.4" - coq-graph-theory
- coq-hanoi
- coq-mathcomp-cad
-
coq-mathcomp-classical
>= "1.0.0" -
coq-mathcomp-multinomials
>= "2.4.0"
Conflicts
None
On This Page