Skip to content

Adapt to https://github.com/coq/coq/pull/19310#422

Merged
ejgallego merged 1 commit intorocq-archive:mainfrom proux01:coq_19310Sep 10, 2024
+16-16

Commits

Commits on Jul 20, 2024