Skip to content

Adapt to coq/coq#20012 (univgen API change)#739

Merged
ppedrot merged 1 commit intoLPCIC:masterfrom SkySkimmer:instance-length-mismatch-errorJan 15, 2025

Commits

Commits on Jan 13, 2025