package coq-mathcomp-solvable
Compatibility package for rocq-mathcomp-solvable
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-2.6.0.tar.gz
sha256=b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253
Description
Published: 24 Jul 2026
Dependencies (1)
-
rocq-mathcomp-solvable
= version
Dev Dependencies
None
Used by (7)
-
coq-infotheo
>= "0.5.1" & != "0.6.1" & != "0.7.5" & != "0.9.2" - coq-mathcomp-abel
-
coq-mathcomp-analysis
>= "0.3.13" & < "0.5.0" | >= "0.5.2" & < "0.5.4" | >= "1.0.0" & < "1.16.0" - coq-mathcomp-cad
-
coq-mathcomp-odd-order
= "1.13.0" -
coq-monae
>= "0.4.5" & < "0.9.2" - rocq-robot-rocq
Conflicts
None
On This Page