Skip to content

add missing dep in opam file #3

add missing dep in opam file

add missing dep in opam file #3

build (coqorg/coq:8.20)

succeeded Nov 2, 2024 in 25m 40s