Skip to content

adapt to coq/coq#19872 #55

adapt to coq/coq#19872

adapt to coq/coq#19872 #55

Annotations

11 warnings

build (coqorg/coq:8.12)

succeeded Dec 2, 2024 in 4m 56s