Adapt to coq/coq#17667 (handle genarg in patterns)#359

Merged

ppedrot merged 1 commit intorocq-archive:mainfrom SkySkimmer:pattern-quotations

Nov 15, 2023

+16

Commits on Sep 21, 2023

Adapt to coq/coq#17667 (handle genarg in patterns)
SkySkimmer
committed