[vendor] Bump Coq upstream

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

GNU Lesser General Public License v2.1

143 stars 31 forks source link

Closed ejgallego closed 4 months ago

ejgallego commented 4 months ago

Upstream finally includes the fixes for #509

ejgallego commented 4 months ago

I don't know what the dev install job is about in the CI.

See #683 , basically we now support installing main to an opam switch, for users that prefer that.