overlay elpi https://github.com/Yann-Leray/coq-elpi rewrite-rules 18038

overlay coq_dpdgraph https://github.com/Yann-Leray/coq-dpdgraph rewrite-rules 18038

overlay coqhammer https://github.com/Yann-Leray/coqhammer rewrite-rules 18038

overlay metacoq https://github.com/Yann-Leray/metacoq rewrite-rules-adapt 18038

overlay mtac2 https://github.com/Yann-Leray/Mtac2 rewrite-rules 18038

overlay serapi https://github.com/Yann-Leray/coq-serapi rewrite-rules 18038

overlay tactician https://github.com/Yann-Leray/coq-tactician rewrite-rules 18038
