Skip to content

fix logpath in opam file #9

fix logpath in opam file

fix logpath in opam file #9

Annotations

1 warning

build (coqorg/coq:8.20)

succeeded Jan 18, 2025 in 2m 16s