Adapt to coq/coq#20178 (kernel template data has qvars)#134

ppedrot merged 1 commit intorocq-community:masterrocq-community/paramcoq:masterfrom

SkySkimmer:template-entry-qvarSkySkimmer/paramcoq:template-entry-qvarCopy head branch name to clipboard