Skip to content

Add extra-files records where need to support opam 2.3.0 - Fixes #3203#3204

Merged
palmskog merged 2 commits intocoq:masterfrom MSoegtropIMC:opam-230-adjustmentsNov 14, 2024

Commits