Skip to content

Mark compatible with mathcomp 1.19 #98

Mark compatible with mathcomp 1.19

Mark compatible with mathcomp 1.19 #98

Annotations

10 warnings

build (mathcomp/mathcomp:1.18.0-coq-8.18)

succeeded Mar 21, 2024 in 14m 25s