Skip to content

Adapt to https://github.com/coq/coq/pull/18880 #79

Adapt to https://github.com/coq/coq/pull/18880

Adapt to https://github.com/coq/coq/pull/18880 #79

Annotations

1 warning

build (coqorg/coq:8.19)

failed Apr 12, 2024 in 1m 34s