Emilio Jesús Gallego Arias (Nov 20 2022 at 16:11): 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.
Matthieu Sozeau (Nov 23 2022 at 11:00):Emilio Jesús Gallego Arias said:
Hi folks,
coq-lsp0.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.
Ali Caglayan (Nov 23 2022 at 20:43):It's still a PR in the opam repo it looks like
Emilio Jesús Gallego Arias (Nov 24 2022 at 14:40):Yeah seems the package is stuck at the opam repos pr, :(
Ali Caglayan (Nov 24 2022 at 14:47):Just been merged :)
Last updated: Feb 06 2023 at 05:03 UTC