Bump to 8.18

Author: ejgallego

package_picks/package-pick-8.17~2023.08-coq-lsp.sh

@@ -11,24 +11,24 @@
 ###################### CONTROL VARIABLES #####################
 
 # The two lines below are used by the package selection script
-COQ_PLATFORM_VERSION_TITLE="Coq 8.17.1 (released Jun 2023) with Coq LSP"
+COQ_PLATFORM_VERSION_TITLE="Coq 8.18.0 (released Sep 2023) with Coq LSP"
 COQ_PLATFORM_VERSION_SORTORDER=1
 
 # The package list name is the final part of the opam switch name.
 # It is usually either empty ot starts with ~.
 # It might also be used for installer package names, but with ~ replaced by _
 # It is also used for version specific file selections in the smoke test kit.
-COQ_PLATFORM_PACKAGE_PICK_POSTFIX='~8.17-lsp'
+COQ_PLATFORM_PACKAGE_PICK_POSTFIX='~8.18-lsp'
 
 # The corresponding Coq development branch and tag
-COQ_PLATFORM_COQ_BRANCH='v8.17'
-COQ_PLATFORM_COQ_TAG='8.17.1'
+COQ_PLATFORM_COQ_BRANCH='v8.18'
+COQ_PLATFORM_COQ_TAG='8.18.0'
 
 # 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 2023.03.0 includes Coq 8.17.1 from Jun 2023. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2023.08.0 includes Coq 8.18.0 from Sep 2023. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is the **latest release version** of the Coq Platform and recommended for general application. '
 
 # The OCaml version to use for this pick (just the version number - options are elaborated in a platform dependent way)
@@ -53,8 +53,8 @@ PACKAGES="${PACKAGES} ocamlfind.1.9.5"
 PACKAGES="${PACKAGES} dune.3.7.0"
 PACKAGES="${PACKAGES} dune-configurator.3.7.0"
 # The Coq compiler coqc and the Coq standard library
-PACKAGES="${PACKAGES} PIN.coq.8.17.1"
+PACKAGES="${PACKAGES} PIN.coq.8.18.0"
 
 ########## Coq Language Server ##########
-PACKAGES="${PACKAGES} coq-serapi.8.17.0+0.17.1"
-PACKAGES="${PACKAGES} coq-lsp.0.1.7+8.17"
+PACKAGES="${PACKAGES} coq-serapi.8.18.0+0.18.1"
+PACKAGES="${PACKAGES} coq-lsp.0.1.7+8.18"