overlay metacoq https://github.com/herbelin/template-coq main+adapt-coq-pr18795-more-uniform-declare.ml 18795 master+uniform-API-declare.ml
overlay equations https://github.com/herbelin/Coq-Equations main+adapt-coq-pr18795-more-uniform-declare.ml 18795 master+uniform-API-declare.ml
