Skip to content

Add missing conflict clause to coq-core.8.18+rc1#2772

Merged
palmskog merged 1 commit intocoq:masterfrom LasseBlaauwbroek:missing-coq-conflictOct 17, 2023

Commits

Commits on Oct 17, 2023