Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support #2
Annotations
2 errors
mathcomp-analysis
Process completed with exit code 1.
|
mathcomp-analysis-single
Process completed with exit code 1.
|