overlay metacoq https://github.com/SkySkimmer/metacoq redexpr-clean 18852

overlay elpi https://github.com/SkySkimmer/coq-elpi redexpr-clean 18852

overlay serapi https://github.com/SkySkimmer/coq-serapi redexpr-clean 18852

overlay tactician https://github.com/coq-tactician/coq-tactician 18852-overlay 18852
