overlay smtcoq https://github.com/herbelin/smtcoq coq-master+adapt-18397-declare_variable_api 18397 master+small-cleanup-declare_variable
overlay metacoq https://github.com/herbelin/template-coq main+adapt-coq-pr18397-declare_variable-api 18397 master+small-cleanup-declare_variable
overlay elpi https://github.com/proux01/coq-elpi coq-master+adapt-coq-pr18397-declare_variable-api 18397 master+small-cleanup-declare_variable
