Skip to content

Adapt to https://github.com/coq/coq/pull/20027#543

Merged
xavierleroy merged 1 commit intoAbsInt:masterfrom proux01:coq_20027Jan 14, 2025

Commits

Commits on Jan 13, 2025