overlay tactician https://github.com/SkySkimmer/coq-tactician dyn-no-anon 18529

overlay vscoq https://github.com/SkySkimmer/vscoq dyn-no-anon 18529

overlay waterproof https://github.com/SkySkimmer/coq-waterproof dyn-no-anon 18529
