[dev pick] Add coq-lsp to dev pick.

Cc coq#319
ejgallego · Sep 15, 2023 · 7068860 · 7068860
1 parent a6aac64
commit 7068860
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/package_picks/package-pick-dev.sh b/package_picks/package-pick-dev.sh
@@ -183,6 +183,9 @@ then
   # Communication with coqtop
   PACKAGES="${PACKAGES} coq-serapi.dev"
 
+  # LSP server for Coq
+  PACKAGES="${PACKAGES} coq-lsp.dev"
+
   # Bedrock2, fiat crypto, ...
   PACKAGES="${PACKAGES} coq-coqutil.dev"
   # PACKAGES="${PACKAGES} coq-bedrock2.dev"                   # Error: "sed: illegal option -- z"