Skip to content

bump coq version in opam #2512

bump coq version in opam

bump coq version in opam #2512

Triggered via push October 2, 2023 14:58
Status Success
Total duration 1m 44s
Artifacts
mathcomp-analysis
44s
mathcomp-analysis
mathcomp-analysis-single
43s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in