Update coq-lsp.dev with latest opam file - #3777

Update coq-lsp.dev with latest opam file#3777

yannl35133 wants to merge 1 commit into

rocq-prover:masterrocq-prover/opam:masterfrom

yannl35133:coq-lsp.devyannl35133/opam-coq-archive:coq-lsp.devCopy head branch name to clipboard