opam-repository/packages/vscoq-language-server/vscoq-language-server.2.0.2+coq8.18/ at 1fdce8d7dcbeaba036c608da3d0bab066b1c6fb7 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / vscoq-language-server / vscoq-language-server.2.0.2+coq8.18 /

at 1fdce8d7dcbeaba036c608da3d0bab066b1c6fb7 1 file

vscoq: add constraint on lsp version

1 year ago