Skip to content

Commit 19e3622

Browse files
committed
[pick] Bump coq-lsp version to 0.2.0
1 parent e56dd7f commit 19e3622

File tree

1 file changed

+7
-8
lines changed

1 file changed

+7
-8
lines changed

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

Lines changed: 7 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
###################### CONTROL VARIABLES #####################
1212

1313
# The two lines below are used by the package selection script
14-
COQ_PLATFORM_VERSION_TITLE="Coq 8.19.1 (released Jan 2024)"
14+
COQ_PLATFORM_VERSION_TITLE="Coq 8.19.2 (released Jan 2024)"
1515
COQ_PLATFORM_VERSION_SORTORDER=98
1616

1717
# 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'
2222

2323
# The corresponding Coq development branch and tag
2424
COQ_PLATFORM_COQ_BRANCH='v8.19'
25-
COQ_PLATFORM_COQ_TAG='8.19.1'
25+
COQ_PLATFORM_COQ_TAG='8.19.2'
2626

2727
# This controls if opam repositories for development packages are selected
2828
COQ_PLATFORM_USE_DEV_REPOSITORY='N'
2929

3030
# This extended descriptions is used for readme files
31-
COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.01.0 includes Coq 8.19.1 from Jan 2024. '
31+
COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.01.0 includes Coq 8.19.2 from Jan 2024. '
3232

3333
# The OCaml version to use for this pick (just the version number - options are elaborated in a platform dependent way)
34-
COQ_PLATFORM_OCAML_VERSION='4.14.1'
34+
COQ_PLATFORM_OCAML_VERSION='4.14.2'
3535

3636
###################### PACKAGE SELECTION #####################
3737

@@ -52,18 +52,17 @@ PACKAGES="${PACKAGES} PIN.ocamlfind.1.9.5~relocatable" # TODO port patch to 1.9
5252
PACKAGES="${PACKAGES} dune.3.11.1"
5353
PACKAGES="${PACKAGES} dune-configurator.3.10.0"
5454
# The Coq compiler coqc and the Coq standard library
55-
PACKAGES="${PACKAGES} PIN.coq.8.19.1"
55+
PACKAGES="${PACKAGES} PIN.coq.8.19.2"
5656

5757
########## Coq Language Server ##########
58-
PACKAGES="${PACKAGES} coq-serapi.8.19.0+0.19.3"
59-
PACKAGES="${PACKAGES} coq-lsp.0.1.9+8.19"
58+
PACKAGES="${PACKAGES} coq-lsp.0.2.0+8.19"
6059

6160
########## IDE PACKAGES ##########
6261

6362
# GTK based IDE for Coq - alternatives are VSCoq and Proofgeneral for Emacs
6463
if [[ "${COQ_PLATFORM_EXTENT}" =~ ^[iIfFxX] ]]
6564
then
66-
PACKAGES="${PACKAGES} coqide.8.19.1"
65+
PACKAGES="${PACKAGES} coqide.8.19.2"
6766
fi
6867

6968
########## "FULL" COQ PLATFORM PACKAGES ##########

0 commit comments

Comments
 (0)