[pick] Bump coq-lsp version to 0.2.0

Author: ejgallego

package_picks/package-pick-8.19~2023.11-coq-lsp.sh

@@ -11,7 +11,7 @@
 ###################### CONTROL VARIABLES #####################
 
 # The two lines below are used by the package selection script
-COQ_PLATFORM_VERSION_TITLE="Coq 8.19.1 (released Jan 2024)"
+COQ_PLATFORM_VERSION_TITLE="Coq 8.19.2 (released Jan 2024)"
 COQ_PLATFORM_VERSION_SORTORDER=98
 
 # The package list name is the final part of the opam switch name.
@@ -22,16 +22,16 @@ COQ_PLATFORM_PACKAGE_PICK_POSTFIX='~8.19-lsp'
 
 # The corresponding Coq development branch and tag
 COQ_PLATFORM_COQ_BRANCH='v8.19'
-COQ_PLATFORM_COQ_TAG='8.19.1'
+COQ_PLATFORM_COQ_TAG='8.19.2'
 
 # This controls if opam repositories for development packages are selected
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.01.0 includes Coq 8.19.1 from Jan 2024. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.01.0 includes Coq 8.19.2 from Jan 2024. '
 
 # The OCaml version to use for this pick (just the version number - options are elaborated in a platform dependent way)
-COQ_PLATFORM_OCAML_VERSION='4.14.1'
+COQ_PLATFORM_OCAML_VERSION='4.14.2'
 
 ###################### PACKAGE SELECTION #####################
 
@@ -52,11 +52,10 @@ PACKAGES="${PACKAGES} PIN.ocamlfind.1.9.5~relocatable"  # TODO port patch to 1.9
 PACKAGES="${PACKAGES} dune.3.11.1"
 PACKAGES="${PACKAGES} dune-configurator.3.10.0"
 # The Coq compiler coqc and the Coq standard library
-PACKAGES="${PACKAGES} PIN.coq.8.19.1"
+PACKAGES="${PACKAGES} PIN.coq.8.19.2"
 
 ########## Coq Language Server ##########
-PACKAGES="${PACKAGES} coq-serapi.8.19.0+0.19.3"
-PACKAGES="${PACKAGES} coq-lsp.0.1.9+8.19"
+PACKAGES="${PACKAGES} coq-lsp.0.2.0+8.19"
 
 ########## IDE PACKAGES ##########