overlay ltac2_compiler https://github.com/SkySkimmer/coq-ltac2-compiler split-tac2ffi 18624

overlay rewriter https://github.com/SkySkimmer/rewriter split-tac2ffi 18624

overlay waterproof https://github.com/SkySkimmer/coq-waterproof split-tac2ffi 18624
