Skip to content

Adapt to https://github.com/coq/coq/pull/19530#38

Merged
andres-erbsen merged 1 commit intomit-plv:masterfrom proux01:stdlib_repoSep 18, 2024

Commits

Commits on Sep 17, 2024