package coq-mathcomp-fingroup
Compatibility package for rocq-mathcomp-fingroup
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-2.5.0.tar.gz
sha256=3db2f4b1b7f9f5a12d3d0c4ba4e325a26a77712074200319660c0e67e25679f1
Description
Published: 13 Nov 2025
Dependencies (1)
-
rocq-mathcomp-fingroup
= version
Dev Dependencies
None
Used by (10)
-
coq-htt
>= "1.2.0" -
coq-htt-core
>= "2.0.1" -
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" - coq-mathcomp-cad
- coq-mathcomp-classical
-
coq-mathcomp-odd-order
= "1.13.0" - coq-mathcomp-tarjan
-
coq-monae
>= "0.4.5"
Conflicts
None
On This Page