package coq-mathcomp-boot
Compatibility package for rocq-mathcomp-boot
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-2.5.0.tar.gz
sha256=3db2f4b1b7f9f5a12d3d0c4ba4e325a26a77712074200319660c0e67e25679f1
Description
Published: 13 Nov 2025
Dependencies (2)
-
rocq-mathcomp-boot
= version - coq-core
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page