18327-rlepigre-brfix-18281.sh

overlay elpi https://github.com/rlepigre/coq-elpi br/fix-18281 18327

overlay equations https://github.com/rlepigre/Coq-Equations br/fix-18281 18327

overlay lean_importer https://github.com/rlepigre/coq-lean-import br/fix-18281 18327

overlay mtac2 https://github.com/rlepigre/Mtac2 br/fix-18281 18327

overlay serapi https://github.com/rlepigre/coq-serapi br/fix-18281 18327

overlay tactician https://github.com/rlepigre/coq-tactician br/fix-18281 18327

overlay waterproof https://github.com/rlepigre/coq-waterproof br/fix-18281 18327