opam-repository/packages/vscoq-language-server/vscoq-language-server.2.2.5/ at 3ec3b70fa28d61dcc54912631eb572b342f85298 · 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.2.5 /

at 3ec3b70fa28d61dcc54912631eb572b342f85298 1 file

Relax constraints of the VSCoq language server

9 months ago