Skip to content

Prepare bug-fix release to adjust to opam 2.3.0#448

Merged
MSoegtropIMC merged 1 commit intocoq:mainfrom MSoegtropIMC:release-2024.10.1Dec 2, 2024

Commits

Commits on Dec 2, 2024