Skip to content

Adapt to https://github.com/coq/coq/pull/20028 #1326

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

Adapt to https://github.com/coq/coq/pull/20028 #1326

Annotations

11 warnings

opam (8.18)

succeeded Jan 12, 2025 in 5m 35s