Skip to content

make dependency on Hierarchy Builder explicit in opam and README.md (… #63

make dependency on Hierarchy Builder explicit in opam and README.md (…

make dependency on Hierarchy Builder explicit in opam and README.md (… #63

Annotations

1 warning

build (mathcomp/mathcomp:2.2.0-coq-8.19)

succeeded Dec 22, 2024 in 3m 56s