package coq-mathcomp-character
Compatibility package for rocq-mathcomp-character
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-2.4.0.tar.gz
sha256=6307218d7e434fb6ffc81b9275c673d3f7f1f4884ad59b904abd205c437021a0
Description
Published: 15 Apr 2025
Dependencies (2)
-
rocq-mathcomp-character
= version - coq-core
Dev Dependencies
None
Used by (1)
-
coq-mathcomp-odd-order
= "1.13.0" | >= "2.2.0"
Conflicts
None
On This Page