Stream: coq-lsp

Topic: Release 0.1.0


view this post on Zulip Emilio Jesús Gallego Arias (Nov 20 2022 at 16:11):

Hi folks, coq-lsp 0.1.0 has been released, announcement upcoming in coq-club; package should be up in opam soon.

0.1.0 is an eaarly preview release, so only fit for those feeling adventurous and willing to hack / experiment.

view this post on Zulip Matthieu Sozeau (Nov 23 2022 at 11:00):

Emilio Jesús Gallego Arias said:

Hi folks, coq-lsp 0.1.0 has been released, announcement upcoming in coq-club; package should be up in opam soon.

0.1.0 is an eaarly preview release, so only fit for those feeling adventurous and willing to hack / experiment.

Is the package available now? I can't install it.

view this post on Zulip Ali Caglayan (Nov 23 2022 at 20:43):

It's still a PR in the opam repo it looks like

view this post on Zulip Emilio Jesús Gallego Arias (Nov 24 2022 at 14:40):

Yeah seems the package is stuck at the opam repos pr, :(

view this post on Zulip Ali Caglayan (Nov 24 2022 at 14:47):

Just been merged :)


Last updated: Feb 06 2023 at 05:03 UTC