overlay coq_lsp https://github.com/ejgallego/coq-lsp vernacstate_remove_pcoq 19187

overlay serapi https://github.com/ejgallego/coq-serapi vernacstate_remove_pcoq 19187

overlay vscoq https://github.com/ejgallego/vscoq vernacstate_remove_pcoq 19187
