Closed palmskog closed 1 month ago
This is known to be compatible with Coq 8.20 (unlike coq-mathcomp-real-closed.2.0.0).
cc: @proux01 @CohenCyril
Sigh, failing CI is due to some opam version resolution issue, we apparently need to upgrade the CI's opam. Going to merge anyway.
This is known to be compatible with Coq 8.20 (unlike coq-mathcomp-real-closed.2.0.0).
cc: @proux01 @CohenCyril