overlay equations https://github.com/SkySkimmer/Coq-Equations indirect 18422

overlay paramcoq https://github.com/SkySkimmer/paramcoq indirect 18422

overlay simple_io https://github.com/SkySkimmer/coq-simple-io indirect 18422

overlay quickchick https://github.com/SkySkimmer/QuickChick indirect 18422

overlay vscoq https://github.com/SkySkimmer/vscoq indirect 18422

overlay serapi https://github.com/SkySkimmer/coq-serapi indirect 18422

overlay coq_lsp https://github.com/SkySkimmer/coq-lsp indirect 18422

overlay metacoq https://github.com/SkySkimmer/metacoq indirect 18422
