Skip to content

Remove compat coq-core libraries (not executables) - #21955

Merged
coqbot-app[bot] merged 1 commit into
rocq-prover:masterfrom
SkySkimmer:rm-core
May 28, 2026
Merged

Remove compat coq-core libraries (not executables)#21955
coqbot-app[bot] merged 1 commit into
rocq-prover:masterfrom
SkySkimmer:rm-core

Remove compat coq-core libraries (not executables)

ba47641
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Linux (latest OCaml)
succeeded May 22, 2026 in 6m 43s