Package vscoq-language-server.2.2.1

[vscoqbot]

vscoq-language-server.2.2.1

VSCoq language server
LSP based language server for Coq and its VSCoq user interface

---

• Homepage: https://github.com/coq-community/vscoq
• Source repo: git+https://github.com/coq-community/vscoq
• Bug tracker: https://github.com/coq-community/vscoq/issues

---

🐫 Pull-request generated by opam-publish v2.0.3

[shonfeder]

The windows failure is from a dependency, and not this package:

  #=== ERROR while compiling coq-core.8.20.0 ====================================#
  # context     2.2.1 | win32/x86_64 | ocaml.5.2.0 | file://D:/a/opam-repository/opam-repository
  # path        D:\opamroot\default\.opam-switch\build\coq-core.8.20.0
  # command     D:\opamroot\default\.opam-switch\build\coq-core.8.20.0\./configure -prefix D:\opamroot\default -mandir D:\opamroot\default\man -libdir D:\opamroot\default\lib/coq -native-compiler no
  # exit-code   1
  # env-file    D:\opamroot\log\coq-core-6376-d8f457.env
  # output-file D:\opamroot\log\coq-core-6376-d8f457.out
  ### output ###
  # Uncaught exception: Invalid_argument("index out of bounds")
  # Error while running 'D:\opamroot\default\bin/ocamlfind.exe ocamlc -version' (exit code 3)
  # Configuration script failed!
  
  
  
  <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
  +- The following actions failed
  | - build coq-core 8.20.0
  +- 

so not blocking here, and all else looks good. Thanks for publishing the update!