From 8b4adbdda559aa191cc19d0c8f116a828adb1f53 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>
Date: Mon, 2 Dec 2024 14:08:39 +0100
Subject: [PATCH] Prepare bug-fix release to adjust to opam 2.3.0

---
 README.md                                     | 71 ++++++++++---------
 doc/FAQ-customized-installers.md              |  4 +-
 doc/README_Linux.md                           |  8 +--
 doc/README_Windows.md                         | 20 +++---
 doc/README_macOS.md                           | 10 +--
 doc/README~8.12.md                            | 16 ++---
 doc/README~8.13~2021.02.md                    | 16 ++---
 doc/README~8.13~2021.09.md                    | 16 ++---
 doc/README~8.13~2022.01.md                    | 16 ++---
 doc/README~8.14~2022.01.md                    | 16 ++---
 doc/README~8.14~2022.04.md                    | 16 ++---
 doc/README~8.15~2022.04.md                    | 16 ++---
 doc/README~8.15~2022.09.md                    | 16 ++---
 doc/README~8.16~2022.09.md                    | 16 ++---
 doc/README~8.16~2023.08.md                    | 14 ++--
 doc/README~8.17~2023.08.md                    | 16 ++---
 doc/README~8.18~2023.11.md                    | 16 ++---
 doc/README~8.18~mc2.md                        | 16 ++---
 doc/README~8.19~2024.10.md                    | 16 ++---
 doc/README~dev.md                             | 14 ++--
 maintainer_doc/release_process.md             | 45 +++++++++---
 package_picks/coq_platform_release.sh         |  2 +-
 package_picks/package-pick-8.12.sh            |  2 +-
 package_picks/package-pick-8.13~2021.02.sh    |  2 +-
 package_picks/package-pick-8.13~2021.09.sh    |  2 +-
 package_picks/package-pick-8.13~2022.01.sh    |  2 +-
 package_picks/package-pick-8.14~2022.01.sh    |  2 +-
 package_picks/package-pick-8.14~2022.04.sh    |  2 +-
 package_picks/package-pick-8.15~2022.04.sh    |  2 +-
 package_picks/package-pick-8.15~2022.09.sh    |  2 +-
 package_picks/package-pick-8.16~2022.09.sh    |  2 +-
 package_picks/package-pick-8.17~2023.08.sh    |  2 +-
 package_picks/package-pick-8.18~2023.11.sh    |  2 +-
 package_picks/package-pick-8.18~mc2.sh        |  2 +-
 ...ackage-pick-8.19-2024.01+ltac2-debugger.sh |  2 +-
 package_picks/package-pick-8.19~2024.10.sh    |  2 +-
 36 files changed, 229 insertions(+), 195 deletions(-)

diff --git a/README.md b/README.md
index 429af962e0..3eb55aeba9 100644
--- a/README.md
+++ b/README.md
@@ -78,6 +78,11 @@ The Coq Platform team does no double check this information.
 
 <details><summary><font size="+1">Release notes / changelog</font></summary>
 
+## Changes in 2024.10.1
+
+This is a "source only" bugfix release which addresses changes in the opam file format in opam 2.3.0.
+The installers and package pick lists are unmodified from the previous release.
+
 ## Changes in 2024.10.0
 
 - added new pick 8.19~2024.10
@@ -277,31 +282,31 @@ You can list the available switches with:
 ```
 ~$ opam switch
 #  switch                        compiler                                              description
-   CP.2024.10.0~8.12             ocaml-base-compiler.4.10.2                            Coq 8.12.2 (released Dec 2020) with the first package pick from Dec 2020
-   CP.2024.10.0~8.13~2021.02     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with the first package pick from Feb 2021
-   CP.2024.10.0~8.13~2021.09     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with an extended package pick from Sep 2021
-   CP.2024.10.0~8.13~2022.01     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with an updated package pick from Jan 2022
-   CP.2024.10.0~8.14~2022.01     ocaml-option-flambda.1,ocaml-variants.4.12.1+options  Coq 8.14.1 (released Nov 2021) with the first package pick from Jan 2022
-   CP.2024.10.0~8.14~2022.04     ocaml-option-flambda.1,ocaml-variants.4.12.1+options  Coq 8.14.1 (released Nov 2021) with an updated package pick from Apr 2022
-   CP.2024.10.0~8.15~2022.04     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.15.2 (released Jun 2022) with the first package pick from Apr 2022
-   CP.2024.10.0~8.15~2022.09     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.15.2 (released Jun 2022) with an updated package pick from Sep 2022
-   CP.2024.10.0~8.16~2022.09     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.16.1 (released Nov 2022) with the first package pick from Sep 2022
-   CP.2024.10.0~8.16~2023.08     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.16.1 (released Nov 2022) with an updated package pick from from Aug 2023
-   CP.2024.10.0~8.17~2023.08     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.17.1 (released Jun 2023) with the first package pick from Aug 2023
-   CP.2024.10.0~8.18~2023.11     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.18.0 (released Sep 2023) with the first package pick from Nov 2023
-   CP.2024.10.0~8.18~mc2         ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.18.0 (released Sep 2023) with a package pick based on mathcomp 2.1
-→  CP.2024.10.0~8.19~2024.10     ocaml-option-flambda.1,ocaml-variants.4.14.2+options  Coq 8.19.2 (released Jun 2024) with the first package pick from Oct 2024
-   CP.2024.10.0~dev              ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq dev (latest master of all packages)
+   CP.2024.10.1~8.12             ocaml-base-compiler.4.10.2                            Coq 8.12.2 (released Dec 2020) with the first package pick from Dec 2020
+   CP.2024.10.1~8.13~2021.02     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with the first package pick from Feb 2021
+   CP.2024.10.1~8.13~2021.09     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with an extended package pick from Sep 2021
+   CP.2024.10.1~8.13~2022.01     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with an updated package pick from Jan 2022
+   CP.2024.10.1~8.14~2022.01     ocaml-option-flambda.1,ocaml-variants.4.12.1+options  Coq 8.14.1 (released Nov 2021) with the first package pick from Jan 2022
+   CP.2024.10.1~8.14~2022.04     ocaml-option-flambda.1,ocaml-variants.4.12.1+options  Coq 8.14.1 (released Nov 2021) with an updated package pick from Apr 2022
+   CP.2024.10.1~8.15~2022.04     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.15.2 (released Jun 2022) with the first package pick from Apr 2022
+   CP.2024.10.1~8.15~2022.09     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.15.2 (released Jun 2022) with an updated package pick from Sep 2022
+   CP.2024.10.1~8.16~2022.09     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.16.1 (released Nov 2022) with the first package pick from Sep 2022
+   CP.2024.10.1~8.16~2023.08     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.16.1 (released Nov 2022) with an updated package pick from from Aug 2023
+   CP.2024.10.1~8.17~2023.08     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.17.1 (released Jun 2023) with the first package pick from Aug 2023
+   CP.2024.10.1~8.18~2023.11     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.18.0 (released Sep 2023) with the first package pick from Nov 2023
+   CP.2024.10.1~8.18~mc2         ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.18.0 (released Sep 2023) with a package pick based on mathcomp 2.1
+→  CP.2024.10.1~8.19~2024.10     ocaml-option-flambda.1,ocaml-variants.4.14.2+options  Coq 8.19.2 (released Jun 2024) with the first package pick from Oct 2024
+   CP.2024.10.1~dev              ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq dev (latest master of all packages)
 ```
 
 You can select the opam switch for **all shells** with e.g.:
 ```
-~$ opam switch CP.2024.10.0~8.19~2024.10
+~$ opam switch CP.2024.10.1~8.19~2024.10
 ```
 
 You can select the opam switch for **just the current shell** with e.g.:
 ```
-eval $(opam config env --set-switch --switch CP.2024.10.0~8.19~2024.10)
+eval $(opam config env --set-switch --switch CP.2024.10.1~8.19~2024.10)
 ```
 
 So you can easily open two separate shell windows, select different opam switches and start e.g. two CoqIDE instances to step through the same file with two different versions of Coq.
@@ -340,25 +345,25 @@ Please clarify the license at [CompCert License](https://github.com/AbsInt/CompC
    ```
    ~$ opam switch
    #   switch                    compiler                                              description
-   CP.2024.10.0~8.12             ocaml-base-compiler.4.10.2                            Coq 8.12.2 (released Dec 2020) with the first package pick from Dec 2020
-   CP.2024.10.0~8.13~2021.02     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with the first package pick from Feb 2021
-   CP.2024.10.0~8.13~2021.09     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with an extended package pick from Sep 2021
-   CP.2024.10.0~8.13~2022.01     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with an updated package pick from Jan 2022
-   CP.2024.10.0~8.14~2022.01     ocaml-option-flambda.1,ocaml-variants.4.12.1+options  Coq 8.14.1 (released Nov 2021) with the first package pick from Jan 2022
-   CP.2024.10.0~8.14~2022.04     ocaml-option-flambda.1,ocaml-variants.4.12.1+options  Coq 8.14.1 (released Nov 2021) with an updated package pick from Apr 2022
-   CP.2024.10.0~8.15~2022.04     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.15.2 (released Jun 2022) with the first package pick from Apr 2022
-   CP.2024.10.0~8.15~2022.09     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.15.2 (released Jun 2022) with an updated package pick from Sep 2022
-   CP.2024.10.0~8.16~2022.09     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.16.1 (released Nov 2022) with the first package pick from Sep 2022
-   CP.2024.10.0~8.16~2023.08     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.16.1 (released Nov 2022) with an updated package pick from from Aug 2023
-   CP.2024.10.0~8.17~2023.08     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.17.1 (released Jun 2023) with the first package pick from Aug 2023
-   CP.2024.10.0~8.18~2023.11     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.18.0 (released Sep 2023) with the first package pick from Nov 2023
-   CP.2024.10.0~8.18~mc2         ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.18.0 (released Sep 2023) with a package pick based on mathcomp 2.1
-→  CP.2024.10.0~8.19~2024.10     ocaml-option-flambda.1,ocaml-variants.4.14.2+options  Coq 8.19.2 (released Jun 2024) with the first package pick from Oct 2024
-   CP.2024.10.0~dev              ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq dev (latest master of all packages)
+   CP.2024.10.1~8.12             ocaml-base-compiler.4.10.2                            Coq 8.12.2 (released Dec 2020) with the first package pick from Dec 2020
+   CP.2024.10.1~8.13~2021.02     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with the first package pick from Feb 2021
+   CP.2024.10.1~8.13~2021.09     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with an extended package pick from Sep 2021
+   CP.2024.10.1~8.13~2022.01     ocaml-base-compiler.4.10.2                            Coq 8.13.2 (released Apr 2021) with an updated package pick from Jan 2022
+   CP.2024.10.1~8.14~2022.01     ocaml-option-flambda.1,ocaml-variants.4.12.1+options  Coq 8.14.1 (released Nov 2021) with the first package pick from Jan 2022
+   CP.2024.10.1~8.14~2022.04     ocaml-option-flambda.1,ocaml-variants.4.12.1+options  Coq 8.14.1 (released Nov 2021) with an updated package pick from Apr 2022
+   CP.2024.10.1~8.15~2022.04     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.15.2 (released Jun 2022) with the first package pick from Apr 2022
+   CP.2024.10.1~8.15~2022.09     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.15.2 (released Jun 2022) with an updated package pick from Sep 2022
+   CP.2024.10.1~8.16~2022.09     ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq 8.16.1 (released Nov 2022) with the first package pick from Sep 2022
+   CP.2024.10.1~8.16~2023.08     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.16.1 (released Nov 2022) with an updated package pick from from Aug 2023
+   CP.2024.10.1~8.17~2023.08     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.17.1 (released Jun 2023) with the first package pick from Aug 2023
+   CP.2024.10.1~8.18~2023.11     ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.18.0 (released Sep 2023) with the first package pick from Nov 2023
+   CP.2024.10.1~8.18~mc2         ocaml-option-flambda.1,ocaml-variants.4.14.1+options  Coq 8.18.0 (released Sep 2023) with a package pick based on mathcomp 2.1
+→  CP.2024.10.1~8.19~2024.10     ocaml-option-flambda.1,ocaml-variants.4.14.2+options  Coq 8.19.2 (released Jun 2024) with the first package pick from Oct 2024
+   CP.2024.10.1~dev              ocaml-option-flambda.1,ocaml-variants.4.13.1+options  Coq dev (latest master of all packages)
    ```
 - Choose the switch you want to change with this command (example):
     ```
-    opam switch CP.2024.10.0~8.19~2024.10
+    opam switch CP.2024.10.1~8.19~2024.10
     eval $(opam env)
     ```
 - You can find packages with `opam list --all | grep "some keyword"`.
diff --git a/doc/FAQ-customized-installers.md b/doc/FAQ-customized-installers.md
index 84603401b3..8b1ed21a8b 100644
--- a/doc/FAQ-customized-installers.md
+++ b/doc/FAQ-customized-installers.md
@@ -51,7 +51,7 @@ If you have issues, please contact us on zulip chat [Coq-Platform & users](https
 
 After you created and built a new package pick, you can create a macOS DMG installer from it as follows:
 
-- Activate the opam switch with `opam switch CP.2024.10.0~my_new_pick`
+- Activate the opam switch with `opam switch CP.2024.10.1~my_new_pick`
 - Navigate to your Coq Platform git folder, e.g. `cd ~/platform`
 - Run `macos/create_installer_macos.sh -sign=Y -signcert=path_to_certificate_file -signid=signature_id`
 - Above the `path_to_certificate_file` is the path and name of the `.cer` and `.p12` file **without** the file extension. The signature ID is typically the name of the institution to which the certificate is issued.
@@ -63,7 +63,7 @@ On recent macOS one can't start the application - that is CoqIDE - without signi
 After you created and built a new package pick, you can create a Windows installer from it as follows:
 
 - Open the Coq Platform cygwin shell, e.g. `C:\bin\cygwin64_coq_platform\cygwin.bat`.
-- Activate the opam switch with `opam switch CP.2024.10.0~my_new_pick`
+- Activate the opam switch with `opam switch CP.2024.10.1~my_new_pick`
 - Navigate to the `coq-platform` folder.
 - Run `windows/create_installer_windows.sh`
 
diff --git a/doc/README_Linux.md b/doc/README_Linux.md
index d5eb270327..00977ae14a 100755
--- a/doc/README_Linux.md
+++ b/doc/README_Linux.md
@@ -12,15 +12,15 @@ This method is intended for experienced users, who may want to use opam to insta
   - OpenSuse:             sudo zypper in -t pattern devel_C_C++
 - For CentOS and possibly RHEL some additional steps are required, see [CentOS](#centos) below.
 - Get the Coq Platform scripts via either of these methods
-  - Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2024.10.0.zip`.
-  - Users which intend to contribute to Coq Platform should use `git clone --branch 2024.10.0 https://github.com/coq/platform.git`.
+  - Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2024.10.1.zip`.
+  - Users which intend to contribute to Coq Platform should use `git clone --branch 2024.10.1 https://github.com/coq/platform.git`.
 - Open a shell, navigate to the download folder and execute `coq_platform_make.sh`.
 - The system will ask for sudo permissions to install prerequisites *several times* so the script is not fully unattended but all installations of dependencies are done directly after the initialization of the opam switch.
 - In case the script aborts e.g. cause of internet issues, just rerun the script.
-- The script creates a new opam switch named e.g. CP.2024.10.0~8.19~2024.10 - the exact name depends on the Coq version and package pick you selected.
+- The script creates a new opam switch named e.g. CP.2024.10.1~8.19~2024.10 - the exact name depends on the Coq version and package pick you selected.
   This means the script does not touch your existing opam setup unless you already have a switch of this name.
 - Use the following commands to activate this switch after opening a new shell:
-  - `opam switch CP.2024.10.0~8.19~2024.10` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
+  - `opam switch CP.2024.10.1~8.19~2024.10` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
   - `eval $(opam env)`
   - The second step can be automated by rerunning `opam init`
 - The main opam repositories for Coq and OCaml developments are already added to the created opam switch, so it should be easy to install additional Coq (or OCaml) packages.
diff --git a/doc/README_Windows.md b/doc/README_Windows.md
index 4c282fc070..b3014fb352 100755
--- a/doc/README_Windows.md
+++ b/doc/README_Windows.md
@@ -22,8 +22,8 @@ This method is intended for experienced users, who may want to use opam to insta
 
 - In case you install **Coq Platform for the first time**:
   - Get the Coq Platform scripts via either of these methods
-    - Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2024.10.0.zip`.
-    - Users which intend to contribute to Coq Platform should use `git clone --branch 2024.10.0 https://github.com/coq/platform.git`.
+    - Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2024.10.1.zip`.
+    - Users which intend to contribute to Coq Platform should use `git clone --branch 2024.10.1 https://github.com/coq/platform.git`.
       Please note that the scripts are CR/LF sensitive, so if you use a Windows git client (not a Cygwin git) you should set `git config --global core.autocrlf false` - which is anyway a good idea.
   - Open a DOS command window, navigate to the download folder and execute `coq_platform_make_windows.bat`.
   - This will ask for the Cygwin installation path and setup a fresh Cygwin as build host (the created Coq is MinGW and runs without Cygwin).
@@ -34,26 +34,26 @@ This method is intended for experienced users, who may want to use opam to insta
   - Start a cygwin shell via `C:\<your_coq_platform_Cygwin_path>\Cygwin.bat`
   - Download, clone or pull the Coq Platform:
     - Download zip and expand:
-      - `wget https://github.com/coq/platform/archive/refs/tags/2024.10.0.zip`
-      - `unzip 2024.10.0.zip`
-      - `mv 2024.10.0 platform-2024.10.0``
-      - `cd platform-2024.10.0`
+      - `wget https://github.com/coq/platform/archive/refs/tags/2024.10.1.zip`
+      - `unzip 2024.10.1.zip`
+      - `mv 2024.10.1 platform-2024.10.1``
+      - `cd platform-2024.10.1`
     - **OR** Git clone:
-      - `git clone --branch 2024.10.0 https://github.com/coq/platform.git`
+      - `git clone --branch 2024.10.1 https://github.com/coq/platform.git`
       - `cd platform`
     - **OR** Git update (with existing git Coq Platform repo):
       - `cd platform`
-      - `git fetch & git checkout 2024.10.0`
+      - `git fetch & git checkout 2024.10.1`
   - Run the main Coq Platform installation script `coq_platform_make.sh`
 - The script will ask a few questions if no parameters are given and then run fully unattended.
 - The build time is between 1..5 hours, depending on CPU speed and RAM size.
 - In case the script aborts e.g. cause of internet issues, just rerun the batch file - it won't install Cygwin again (assuming you specify the same Cygwin destination folder).
 - The script has various options for configuring paths and proxies; see `example_coq_platform_make.bat` for an example command line.
 - The resulting Coq installation is opam based and best used from the Cygwin prompt (started via `C:\<your_coq_platform_Cygwin_path>\Cygwin.bat`)
-- The script creates a new opam switch named e.g. CP.2024.10.0~8.19~2024.10 - the exact name depends on the Coq version and package pick you selected you selected.
+- The script creates a new opam switch named e.g. CP.2024.10.1~8.19~2024.10 - the exact name depends on the Coq version and package pick you selected you selected.
   This means the script does not touch your existing opam setup unless you already have a switch of this name.
 - Use the following commands at the Cygwin prompt to activate this switch after opening a new shell:
-  - `opam switch CP.2024.10.0~8.19~2024.10` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
+  - `opam switch CP.2024.10.1~8.19~2024.10` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
   - `eval $(opam env)`
   - The second step can be automated by rerunning `opam init`
 - The main opam repositories for Coq and OCaml developments are already added to the created opam switch, so it should be easy to install additional Coq (or OCaml) packages.
diff --git a/doc/README_macOS.md b/doc/README_macOS.md
index 1249a8a3ee..ca35faf8db 100644
--- a/doc/README_macOS.md
+++ b/doc/README_macOS.md
@@ -12,7 +12,7 @@ In case you want to use the fast path:
 
 - Download the DMG package from https://github.com/coq/platform/releases (click on "Assets" at the end of a release section).
 - Open the downloaded DMG package with a double click.
-- Drag and drop the "Coq_Platform_2024.10.0.app" icon on the link to the "Applications" folder.
+- Drag and drop the "Coq_Platform_2024.10.1.app" icon on the link to the "Applications" folder.
 - CoqIDE appears under `/Applications` in Finder and in Launcher.
 - The published installers are always signed by INRIA, but no notarized by Apple yet. This means that on first start of the application, you must right click on the Coq application in the `Applications` folder and select `open`. Subsequently this is not required - the application can be started directly.
 - In case you want to use the installed `coqc` and other tools from the command line, you have three options:
@@ -36,15 +36,15 @@ This method is intended for experienced users, who may want to use opam to insta
 - If you have neither Homebrew nor MacPorts installed, read the section [Homebrew and MacPorts](#homebrew-and-macports) below.
 - If you have Homebrew installed, read the section [Homebrew issues and workarounds](#homebrew-issues-and-workarounds) below.
 - Get the Coq Platform scripts via either of these methods
-  - Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2024.10.0.zip`.
-  - Users which intend to contribute to Coq Platform should use `git clone --branch 2024.10.0 https://github.com/coq/platform.git`.
+  - Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2024.10.1.zip`.
+  - Users which intend to contribute to Coq Platform should use `git clone --branch 2024.10.1 https://github.com/coq/platform.git`.
 - Open a shell, navigate to the download folder and execute `coq_platform_make.sh`.
 - If you are using MacPorts, the system will ask once for sudo permissions to install prerequisites after installing OCaml (5..20 minutes after script start).
 - In case the script aborts e.g. cause of internet issues, just rerun the script.
-- The script creates a new opam switch named e.g. CP.2024.10.0~8.19~2024.10 - the exact name depends on the Coq version and package pick you selected.
+- The script creates a new opam switch named e.g. CP.2024.10.1~8.19~2024.10 - the exact name depends on the Coq version and package pick you selected.
   This means the script does not touch your existing opam setup unless you already have a switch of this name.
 - Use the following commands to activate this switch after opening a new shell:
-  - `opam switch CP.2024.10.0~8.19~2024.10` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
+  - `opam switch CP.2024.10.1~8.19~2024.10` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
   - `eval $(opam env)`
   - The second step can be automated by rerunning `opam init`
 - The main opam repositories for Coq and OCaml developments are already added to the created opam switch, so it should be easy to install additional Coq (or OCaml) packages.
diff --git a/doc/README~8.12.md b/doc/README~8.12.md
index 69636ffa23..2a2d01ebd6 100644
--- a/doc/README~8.12.md
+++ b/doc/README~8.12.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.12.2 (released Dec 2020) with the first package pick from Dec 2020
+# Coq Platform 2024.10.1 providing Coq 8.12.2 (released Dec 2020) with the first package pick from Dec 2020
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.12.2**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.12.2**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.12.2 from 12/2020. The package pick is the original package pick of Coq Platform for Coq 8.12.2. 
+This version of Coq Platform 2024.10.1 includes Coq 8.12.2 from 12/2020. The package pick is the original package pick of Coq Platform for Coq 8.12.2. 
 
 The OCaml version used is 4.10.2.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.12.2 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.12.2 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -68,7 +68,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.12.2 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.12.2 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -96,7 +96,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.12.2 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.12.2 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -499,7 +499,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.12.2 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.12.2 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -544,7 +544,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.12.2 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.12.2 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.13~2021.02.md b/doc/README~8.13~2021.02.md
index 5e021c3f9f..37d9925538 100644
--- a/doc/README~8.13~2021.02.md
+++ b/doc/README~8.13~2021.02.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.13.2 (released Apr 2021) with the first package pick from Feb 2021
+# Coq Platform 2024.10.1 providing Coq 8.13.2 (released Apr 2021) with the first package pick from Feb 2021
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.13.2**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.13.2**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.13.2 from 04/2021. There are three package picks for Coq 8.13.2: the original from 02/2021, a substantially extended one from 09/2021 and an updated one from 11/2021. This is the original package pick for Coq 8.13 from 02/2021. The 02/2021 and 09/2021 package picks are provided for compatibility and it is recommended to use the 11/2021 pick - or Coq 8.14.0.
+This version of Coq Platform 2024.10.1 includes Coq 8.13.2 from 04/2021. There are three package picks for Coq 8.13.2: the original from 02/2021, a substantially extended one from 09/2021 and an updated one from 11/2021. This is the original package pick for Coq 8.13 from 02/2021. The 02/2021 and 09/2021 package picks are provided for compatibility and it is recommended to use the 11/2021 pick - or Coq 8.14.0.
 
 The OCaml version used is 4.10.2.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -68,7 +68,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -96,7 +96,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -514,7 +514,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -559,7 +559,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.13~2021.09.md b/doc/README~8.13~2021.09.md
index ce6a886a01..4dab0e31d0 100644
--- a/doc/README~8.13~2021.09.md
+++ b/doc/README~8.13~2021.09.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.13.2 (released Apr 2021) with an extended package pick from Sep 2021
+# Coq Platform 2024.10.1 providing Coq 8.13.2 (released Apr 2021) with an extended package pick from Sep 2021
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.13.2**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.13.2**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.13.2 from 04/2021. There are three package picks for Coq 8.13.2: the original from 02/2021, a substantially extended one from 09/2021 and an updated one from 11/2021. This is the substantially extended and updated package pick from 09/2021. The 02/2021 and 09/2021 package picks are provided for compatibility and it is recommended to use the 11/2021 pick - or Coq 8.14.0.
+This version of Coq Platform 2024.10.1 includes Coq 8.13.2 from 04/2021. There are three package picks for Coq 8.13.2: the original from 02/2021, a substantially extended one from 09/2021 and an updated one from 11/2021. This is the substantially extended and updated package pick from 09/2021. The 02/2021 and 09/2021 package picks are provided for compatibility and it is recommended to use the 11/2021 pick - or Coq 8.14.0.
 
 The OCaml version used is 4.10.2.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -68,7 +68,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -96,7 +96,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -739,7 +739,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -799,7 +799,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.13~2022.01.md b/doc/README~8.13~2022.01.md
index dafb58cfa4..3f4dc7aa4e 100644
--- a/doc/README~8.13~2022.01.md
+++ b/doc/README~8.13~2022.01.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.13.2 (released Apr 2021) with an updated package pick from Jan 2022
+# Coq Platform 2024.10.1 providing Coq 8.13.2 (released Apr 2021) with an updated package pick from Jan 2022
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.13.2**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.13.2**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.13.2 from 04/2021. There are three package picks for Coq 8.13.2: the original from 02/2021, a substantially extended one from 09/2021 and an updated one from 11/2021. This is the latest package pick for Coq 8.13.2 with some package updates with the goal to make it as compatible as possible to the Coq 8.14.0 package pick. 
+This version of Coq Platform 2024.10.1 includes Coq 8.13.2 from 04/2021. There are three package picks for Coq 8.13.2: the original from 02/2021, a substantially extended one from 09/2021 and an updated one from 11/2021. This is the latest package pick for Coq 8.13.2 with some package updates with the goal to make it as compatible as possible to the Coq 8.14.0 package pick. 
 
 The OCaml version used is 4.10.2.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -68,7 +68,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -96,7 +96,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -769,7 +769,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -829,7 +829,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.13.2 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.13.2 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.14~2022.01.md b/doc/README~8.14~2022.01.md
index 64e7bf8154..de6bf9e306 100644
--- a/doc/README~8.14~2022.01.md
+++ b/doc/README~8.14~2022.01.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.14.1 (released Nov 2021) with the first package pick from Jan 2022
+# Coq Platform 2024.10.1 providing Coq 8.14.1 (released Nov 2021) with the first package pick from Jan 2022
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.14.1**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.14.1**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.14.1 from  11/2021. There are two package picks for Coq 8.14.1: the original from 01/2022, and an updated/extended one from 03/2022. This is the original package pick for Coq 8.14 from 01/2022. 
+This version of Coq Platform 2024.10.1 includes Coq 8.14.1 from  11/2021. There are two package picks for Coq 8.14.1: the original from 01/2022, and an updated/extended one from 03/2022. This is the original package pick for Coq 8.14 from 01/2022. 
 
 The OCaml version used is 4.12.1+options ocaml-option-flambda.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.14.1 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.14.1 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -68,7 +68,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.14.1 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.14.1 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -96,7 +96,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.14.1 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.14.1 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -814,7 +814,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.14.1 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.14.1 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -874,7 +874,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.14.1 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.14.1 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.14~2022.04.md b/doc/README~8.14~2022.04.md
index d0184257ca..dd8fe86d73 100644
--- a/doc/README~8.14~2022.04.md
+++ b/doc/README~8.14~2022.04.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.14.1 (released Nov 2021) with an updated package pick from Apr 2022
+# Coq Platform 2024.10.1 providing Coq 8.14.1 (released Nov 2021) with an updated package pick from Apr 2022
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.14.1**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.14.1**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.14.1 from 11/2021. There are two package picks for Coq 8.14.1: the original from 01/2022, and an updated/extended one from 03/2022. This is the latest package pick for Coq 8.14.1 with some package updates with the goal to make it as compatible as possible to the Coq 8.15.2 package pick. 
+This version of Coq Platform 2024.10.1 includes Coq 8.14.1 from 11/2021. There are two package picks for Coq 8.14.1: the original from 01/2022, and an updated/extended one from 03/2022. This is the latest package pick for Coq 8.14.1 with some package updates with the goal to make it as compatible as possible to the Coq 8.15.2 package pick. 
 
 The OCaml version used is 4.12.1+options ocaml-option-flambda.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.14.1 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.14.1 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -68,7 +68,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.14.1 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.14.1 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -96,7 +96,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.14.1 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.14.1 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -904,7 +904,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.14.1 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.14.1 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -964,7 +964,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.14.1 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.14.1 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.15~2022.04.md b/doc/README~8.15~2022.04.md
index 7eb6e6e170..5abf48e838 100644
--- a/doc/README~8.15~2022.04.md
+++ b/doc/README~8.15~2022.04.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.15.2 (released Jun 2022) with the first package pick from Apr 2022
+# Coq Platform 2024.10.1 providing Coq 8.15.2 (released Jun 2022) with the first package pick from Apr 2022
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.15.2**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.15.2**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.15.2 from Jun 2022. There are two package picks for Coq 8.15.2: the original from 04/2022, and an updated/extended one from 09/2022. This is the original package pick for Coq 8.15.2 from 04/2022. 
+This version of Coq Platform 2024.10.1 includes Coq 8.15.2 from Jun 2022. There are two package picks for Coq 8.15.2: the original from 04/2022, and an updated/extended one from 09/2022. This is the original package pick for Coq 8.15.2 from 04/2022. 
 
 The OCaml version used is 4.13.1+options ocaml-option-flambda.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.15.2 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.15.2 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -68,7 +68,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.15.2 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.15.2 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -96,7 +96,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.15.2 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.15.2 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -889,7 +889,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.15.2 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.15.2 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -949,7 +949,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.15.2 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.15.2 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.15~2022.09.md b/doc/README~8.15~2022.09.md
index d4fb9de688..b458910ec4 100644
--- a/doc/README~8.15~2022.09.md
+++ b/doc/README~8.15~2022.09.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.15.2 (released Jun 2022) with an updated package pick from Sep 2022
+# Coq Platform 2024.10.1 providing Coq 8.15.2 (released Jun 2022) with an updated package pick from Sep 2022
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.15.2**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.15.2**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.15.2 from Sep 2022. There are two package picks for Coq 8.15.2: the original from 04/2022, and an updated/extended one from 09/2022. This is the latest package pick for Coq 8.15.2 with some package updates with the goal to make it as compatible as possible to the Coq 8.16.1 package pick. 
+This version of Coq Platform 2024.10.1 includes Coq 8.15.2 from Sep 2022. There are two package picks for Coq 8.15.2: the original from 04/2022, and an updated/extended one from 09/2022. This is the latest package pick for Coq 8.15.2 with some package updates with the goal to make it as compatible as possible to the Coq 8.16.1 package pick. 
 
 The OCaml version used is 4.13.1+options ocaml-option-flambda.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.15.2 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.15.2 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -98,7 +98,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.15.2 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.15.2 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -126,7 +126,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.15.2 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.15.2 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -949,7 +949,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.15.2 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.15.2 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -1009,7 +1009,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.15.2 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.15.2 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.16~2022.09.md b/doc/README~8.16~2022.09.md
index 7393bbd527..3dd4be3690 100644
--- a/doc/README~8.16~2022.09.md
+++ b/doc/README~8.16~2022.09.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.16.1 (released Nov 2022) with the first package pick from Sep 2022
+# Coq Platform 2024.10.1 providing Coq 8.16.1 (released Nov 2022) with the first package pick from Sep 2022
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.16.1**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.16.1**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.16.1 from Nov 2022. There are two package picks for Coq 8.16.1: the original from Sep 2022, and an updated/extended one from Aug 2023. This is the original package pick for Coq 8.16.1 from Sep 2022. 
+This version of Coq Platform 2024.10.1 includes Coq 8.16.1 from Nov 2022. There are two package picks for Coq 8.16.1: the original from Sep 2022, and an updated/extended one from Aug 2023. This is the original package pick for Coq 8.16.1 from Sep 2022. 
 
 The OCaml version used is 4.13.1+options ocaml-option-flambda.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.16.1 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.16.1 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -98,7 +98,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.16.1 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.16.1 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -126,7 +126,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.16.1 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.16.1 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -949,7 +949,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.16.1 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.16.1 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -1009,7 +1009,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.16.1 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.16.1 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.16~2023.08.md b/doc/README~8.16~2023.08.md
index a1c5c519a7..7e0377ad26 100644
--- a/doc/README~8.16~2023.08.md
+++ b/doc/README~8.16~2023.08.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.16.1 (released Nov 2022) with an updated package pick from from Aug 2023
+# Coq Platform 2024.10.1 providing Coq 8.16.1 (released Nov 2022) with an updated package pick from from Aug 2023
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,7 +9,7 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.16.1**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.16.1**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
 This version of Coq Platform 2023.03 includes Coq 8.16.1 from Nov 2022. There are two package picks for Coq 8.16.1: the original from Sep 2022, and an updated/extended one from Aug 2023. This is the latest package pick for Coq 8.16.1 with some package updates with the goal to make it as compatible as possible to the Coq 8.17.1 package pick. 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.16.1 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.16.1 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -98,7 +98,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.16.1 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.16.1 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -126,7 +126,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.16.1 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.16.1 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -934,7 +934,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.16.1 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.16.1 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -994,7 +994,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.16.1 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.16.1 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.17~2023.08.md b/doc/README~8.17~2023.08.md
index 589f4abf80..8ce170bfb2 100644
--- a/doc/README~8.17~2023.08.md
+++ b/doc/README~8.17~2023.08.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.17.1 (released Jun 2023) with the first package pick from Aug 2023
+# Coq Platform 2024.10.1 providing Coq 8.17.1 (released Jun 2023) with the first package pick from Aug 2023
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.17.1**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.17.1**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.17.1 from Jun 2023. This is the original package pick for Coq 8.17.1 from Aug 2023. 
+This version of Coq Platform 2024.10.1 includes Coq 8.17.1 from Jun 2023. This is the original package pick for Coq 8.17.1 from Aug 2023. 
 
 The OCaml version used is 4.14.1+options ocaml-option-flambda.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.17.1 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.17.1 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -98,7 +98,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.17.1 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.17.1 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -126,7 +126,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.17.1 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.17.1 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -919,7 +919,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.17.1 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.17.1 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -979,7 +979,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.17.1 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.17.1 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.18~2023.11.md b/doc/README~8.18~2023.11.md
index 0573f6b21a..62e11cafd6 100644
--- a/doc/README~8.18~2023.11.md
+++ b/doc/README~8.18~2023.11.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.18.0 (released Sep 2023) with the first package pick from Nov 2023
+# Coq Platform 2024.10.1 providing Coq 8.18.0 (released Sep 2023) with the first package pick from Nov 2023
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.18.0**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.18.0**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.18.0 from Sep 2023. This is the **latest release version** of the Coq Platform and recommended for general application. 
+This version of Coq Platform 2024.10.1 includes Coq 8.18.0 from Sep 2023. This is the **latest release version** of the Coq Platform and recommended for general application. 
 
 The OCaml version used is 4.14.1+options ocaml-option-flambda.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.18.0 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.18.0 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -98,7 +98,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.18.0 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.18.0 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -126,7 +126,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.18.0 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.18.0 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -919,7 +919,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.18.0 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.18.0 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -979,7 +979,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.18.0 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.18.0 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.18~mc2.md b/doc/README~8.18~mc2.md
index d7d4502273..7bbede9e1a 100644
--- a/doc/README~8.18~mc2.md
+++ b/doc/README~8.18~mc2.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.18.0 (released Sep 2023) with a package pick based on mathcomp 2.1
+# Coq Platform 2024.10.1 providing Coq 8.18.0 (released Sep 2023) with a package pick based on mathcomp 2.1
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.18.0**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.18.0**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.18.0 from Sep 2023. This is a preview release based on mathcomp 2.1 (some not compatible packages are missing). 
+This version of Coq Platform 2024.10.1 includes Coq 8.18.0 from Sep 2023. This is a preview release based on mathcomp 2.1 (some not compatible packages are missing). 
 
 The OCaml version used is 4.14.1+options ocaml-option-flambda.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.18.0 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.18.0 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -98,7 +98,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.18.0 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.18.0 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -126,7 +126,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.18.0 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.18.0 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -904,7 +904,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.18.0 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.18.0 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -964,7 +964,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.18.0 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.18.0 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~8.19~2024.10.md b/doc/README~8.19~2024.10.md
index af313a0487..d6ca6b2a7e 100644
--- a/doc/README~8.19~2024.10.md
+++ b/doc/README~8.19~2024.10.md
@@ -1,5 +1,5 @@
 
-# Coq Platform 2024.10.0 providing Coq 8.19.2 (released Jun 2024) with the first package pick from Oct 2024
+# Coq Platform 2024.10.1 providing Coq 8.19.2 (released Jun 2024) with the first package pick from Oct 2024
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -9,10 +9,10 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq 8.19.2**.
+This README file is for **Coq Platform 2024.10.1 with Coq 8.19.2**.
 The README files for other versions are linked in the main [README](https://github.com/coq/platform/blob/main/README.md).
 
-This version of Coq Platform 2024.10.0 includes Coq 8.19.2 from Jun 2024. This is the **latest release version** of the Coq Platform and recommended for general application. 
+This version of Coq Platform 2024.10.1 includes Coq 8.19.2 from Jun 2024. This is the **latest release version** of the Coq Platform and recommended for general application. 
 
 The OCaml version used is 4.14.2+options ocaml-option-flambda.
 
@@ -46,7 +46,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.19.2 "base level"**
+## **Coq Platform 2024.10.1 with Coq 8.19.2 "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -98,7 +98,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.19.2 "IDE level"**
+## **Coq Platform 2024.10.1 with Coq 8.19.2 "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -126,7 +126,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.19.2 "full level"**
+## **Coq Platform 2024.10.1 with Coq 8.19.2 "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -934,7 +934,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.19.2 "optional packages"**
+## **Coq Platform 2024.10.1 with Coq 8.19.2 "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either take a rather long time to build or have
@@ -994,7 +994,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq 8.19.2 "extended level"**
+## **Coq Platform 2024.10.1 with Coq 8.19.2 "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/doc/README~dev.md b/doc/README~dev.md
index b860840c7d..af067ee0c2 100644
--- a/doc/README~dev.md
+++ b/doc/README~dev.md
@@ -1,4 +1,4 @@
-# Coq Platform 2024.10.0 providing Coq dev (latest master of all packages)
+# Coq Platform 2024.10.1 providing Coq dev (latest master of all packages)
 
 The [Coq proof assistant](https://coq.inria.fr) provides a formal language
 to write mathematical definitions, executable algorithms, and theorems, together
@@ -8,7 +8,7 @@ The [Coq Platform](https://github.com/coq/platform) is a distribution of the Coq
 interactive prover together with a selection of Coq libraries and plugins.
 
 The Coq Platform supports to install several versions of Coq (also in parallel).
-This README file is for **Coq Platform 2024.10.0 with Coq dev**.
+This README file is for **Coq Platform 2024.10.1 with Coq dev**.
 The README files for other versions are linked in the main [README](../README.md).
 
 This is the latest development version of Coq and all packages.
@@ -41,7 +41,7 @@ Please clarify the details with the homepage of the package.
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq dev "base level"**
+## **Coq Platform 2024.10.1 with Coq dev "base level"**
 
 The **base level** is mostly intended as a basis for custom installations using
 opam and contains the following package(s):
@@ -63,7 +63,7 @@ opam and contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq dev "IDE level"**
+## **Coq Platform 2024.10.1 with Coq dev "IDE level"**
 
 The **IDE level** adds an interactive development environment to the **base level**.
 
@@ -91,7 +91,7 @@ The **IDE level** contains the following package(s):
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq dev "full level"**
+## **Coq Platform 2024.10.1 with Coq dev "full level"**
 
 The **full level** adds many commonly used coq libraries, plug-ins and
 developments.
@@ -806,7 +806,7 @@ The **full level** contains the following packages:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq dev "optional packages"**
+## **Coq Platform 2024.10.1 with Coq dev "optional packages"**
 
 The **optional** packages have the same maturity and maintenance level as the
 packages in the full level, but either have a **non open source license** or
@@ -851,7 +851,7 @@ The following packages are **optional**:
 
 <br>
 
-## **Coq Platform 2024.10.0 with Coq dev "extended level"**
+## **Coq Platform 2024.10.1 with Coq dev "extended level"**
 
 The **extended level** contains packages which are in a beta stage or otherwise
 don't yet have the level of maturity or support required for inclusion in the
diff --git a/maintainer_doc/release_process.md b/maintainer_doc/release_process.md
index e345fc13e3..8162aa48ac 100644
--- a/maintainer_doc/release_process.md
+++ b/maintainer_doc/release_process.md
@@ -1,4 +1,4 @@
-# How to create a new Coq Platform release
+# How to create a new major Coq Platform release
 
 ## Create a preliminary pick file
 
@@ -40,7 +40,7 @@ COQ_PLATFORM_COQ_TAG='8.18+rc1'
 COQ_PLATFORM_USE_DEV_REPOSITORY='Y'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.18+rc1 from Sep 2023. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.18+rc1 from Sep 2023. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is a preliminary release intended for package maintainers. '
 
 # The OCaml version to use for this pick (just the version number - options are elaborated in a platform dependent way)
@@ -107,13 +107,13 @@ GIT tag-versions: 8.6.0  8.7.0  8.8+beta1  8.8.0  8.9.0  8.10+beta1  8.10.0  8.1
 - Update the platform release number in coq-platform-main/package_picks/coq_platform_release.sh
   **ATTENTION**: the release always has a minor extension (like 2022.04.0)
 - remove folders macos_installer, windows_installer, smoke_test_kit
-- search for the old switch name `CP.2024.10.0~8.19~2024.10` and replace it with the new switch name (one by one, e.g. using VSCode file search individual replace
+- search for the old switch name `CP.2024.10.1~8.19~2024.10` and replace it with the new switch name (one by one, e.g. using VSCode file search individual replace
   - **do not replacing entries in the two opam switch list in ReadMe.md**
   - alternatively replace everywhere and fix the switch lists later (must be touched anyway to insert the new switch)
-- search for the old switch prefix `CP.2024.10.0` and replace with the new switch prefix
+- search for the old switch prefix `CP.2024.10.1` and replace with the new switch prefix
   - **ATTENTION**: the release always has a minor extension (like 2022.04.0) - the pick never has a minor extension!
   - **ATTENTION**: search for the new switch prefix and then search for just "CP.20" and compare the hit count to make sure nothing was left over
-- search for last release name "2024.10.0" and change in an appropriate way
+- search for last release name "2024.10.1" and change in an appropriate way
   - doing so, exclude the release notes entry
   - do change the release Readme files - we usually don't want to recreate all of them!
   - search for `https://github.com/coq/platform/archive/refs/tags` to double check
@@ -136,7 +136,7 @@ GIT tag-versions: 8.6.0  8.7.0  8.8+beta1  8.8.0  8.9.0  8.10+beta1  8.10.0  8.1
 
 **We are currently preparing a release, which has the effect that some links already refer to the new tag, even though this does not exist as yet.**
 
-**In case you experience dead links, please replace `2024.10.0` with `2023.11.0`.**
+**In case you experience dead links, please replace `2024.10.1` with `2023.11.0`.**
 ```
 
 ### Create documentation for new release
@@ -214,7 +214,7 @@ Note: coqc can also be used from an unsigned installer!
 
 ### Tag
 
-- git tag 2024.10.0 -a -m "Release 2024.10.0 with latest pick 8.19~2024.10"
+- git tag 2024.10.1 -a -m "Release 2024.10.1 with latest pick 8.19~2024.10"
 - git push --tags
 
 ### Remove the "ATTENTION RELEASE IN PROGRESS" note from ReadMe.md
@@ -224,4 +224,33 @@ Note: coqc can also be used from an unsigned installer!
 - Check the tracker issue again
 - tick of the check boxes for the release process
 - close the tracker issue
-- upload the signed installers from INRIA
\ No newline at end of file
+- upload the signed installers from INRIA
+
+# How to create minor releases
+
+This depends a lot on what has been changed. Below are a few scenarios (updated as they happen).
+
+## Changes only in "from sources builds"
+
+It happens that the from sources builds fail after a release. In this case the pick files and the installers can be kept.
+
+In this case the recommended procedure is as follows:
+
+- Merge the required fixes
+
+- Search and replaces the old release code, e.g. "2024.10.0" with the new release code "2024.10.1".
+  - Also replaces in `release_process.md` where this sometimes doesn't look appropriate because it talks about major releases, but this way it is easier to keep this up to date.
+  - Make sure to *not* replace in:
+    - this paragraph
+    - the release notes in `coq-platform-main/README.md`
+  - Double check that the release code in `coq-platform-main/package_picks/coq_platform_release.sh` has been updated.
+
+- Add a new release entry to `coq-platform-main/README.md`.
+
+- Do a PR of these changes and merge (after CI did run through)
+
+- Tag with an appropriate tag message, e.g.
+  ```
+  git tag 2024.10.1 -a -m "Release 2024.10.1 with adjustments to opam 2.3.0 (unmodified pick 8.19~2024.10)"
+  git push --tags
+  ```
diff --git a/package_picks/coq_platform_release.sh b/package_picks/coq_platform_release.sh
index cd816eeb4c..5aa4e62c65 100644
--- a/package_picks/coq_platform_release.sh
+++ b/package_picks/coq_platform_release.sh
@@ -10,4 +10,4 @@
 
 ###################### SET THE PLATFORM VERSION NAME #####################
 
-COQ_PLATFORM_RELEASE="2024.10.0"
+COQ_PLATFORM_RELEASE="2024.10.1"
diff --git a/package_picks/package-pick-8.12.sh b/package_picks/package-pick-8.12.sh
index 58850d0d44..146c6118ae 100644
--- a/package_picks/package-pick-8.12.sh
+++ b/package_picks/package-pick-8.12.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.12.2'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.12.2 from 12/2020. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.12.2 from 12/2020. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='The package pick is the original package pick of Coq Platform for Coq 8.12.2. '
 
 # The OCaml version to use for this pick (just the version number - options are elaborated in a platform dependent way)
diff --git a/package_picks/package-pick-8.13~2021.02.sh b/package_picks/package-pick-8.13~2021.02.sh
index 51daa0f1c3..a4d76ddc5f 100644
--- a/package_picks/package-pick-8.13~2021.02.sh
+++ b/package_picks/package-pick-8.13~2021.02.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.13.2'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.13.2 from 04/2021. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.13.2 from 04/2021. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='There are three package picks for Coq 8.13.2: the original from 02/2021, a substantially extended one from 09/2021 and an updated one from 11/2021. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is the original package pick for Coq 8.13 from 02/2021. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='The 02/2021 and 09/2021 package picks are provided for compatibility and it is recommended to use the 11/2021 pick - or Coq 8.14.0.'
diff --git a/package_picks/package-pick-8.13~2021.09.sh b/package_picks/package-pick-8.13~2021.09.sh
index 33da129e67..f07af89c7f 100644
--- a/package_picks/package-pick-8.13~2021.09.sh
+++ b/package_picks/package-pick-8.13~2021.09.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.13.2'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.13.2 from 04/2021. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.13.2 from 04/2021. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='There are three package picks for Coq 8.13.2: the original from 02/2021, a substantially extended one from 09/2021 and an updated one from 11/2021. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is the substantially extended and updated package pick from 09/2021. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='The 02/2021 and 09/2021 package picks are provided for compatibility and it is recommended to use the 11/2021 pick - or Coq 8.14.0.'
diff --git a/package_picks/package-pick-8.13~2022.01.sh b/package_picks/package-pick-8.13~2022.01.sh
index 753493d0ea..08a5ebe4a0 100644
--- a/package_picks/package-pick-8.13~2022.01.sh
+++ b/package_picks/package-pick-8.13~2022.01.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.13.2'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.13.2 from 04/2021. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.13.2 from 04/2021. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='There are three package picks for Coq 8.13.2: the original from 02/2021, a substantially extended one from 09/2021 and an updated one from 11/2021. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is the latest package pick for Coq 8.13.2 with some package updates with the goal to make it as compatible as possible to the Coq 8.14.0 package pick. '
 
diff --git a/package_picks/package-pick-8.14~2022.01.sh b/package_picks/package-pick-8.14~2022.01.sh
index 3da3f764bf..a0b7ee85fa 100644
--- a/package_picks/package-pick-8.14~2022.01.sh
+++ b/package_picks/package-pick-8.14~2022.01.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.14.1'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.14.1 from  11/2021. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.14.1 from  11/2021. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='There are two package picks for Coq 8.14.1: the original from 01/2022, and an updated/extended one from 03/2022. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is the original package pick for Coq 8.14 from 01/2022. '
 
diff --git a/package_picks/package-pick-8.14~2022.04.sh b/package_picks/package-pick-8.14~2022.04.sh
index dae5b5100f..f5808c3c6d 100644
--- a/package_picks/package-pick-8.14~2022.04.sh
+++ b/package_picks/package-pick-8.14~2022.04.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.14.1'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.14.1 from 11/2021. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.14.1 from 11/2021. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='There are two package picks for Coq 8.14.1: the original from 01/2022, and an updated/extended one from 03/2022. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is the latest package pick for Coq 8.14.1 with some package updates with the goal to make it as compatible as possible to the Coq 8.15.2 package pick. '
 
diff --git a/package_picks/package-pick-8.15~2022.04.sh b/package_picks/package-pick-8.15~2022.04.sh
index 436bfc102c..397d8d7c16 100644
--- a/package_picks/package-pick-8.15~2022.04.sh
+++ b/package_picks/package-pick-8.15~2022.04.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.15.2'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.15.2 from Jun 2022. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.15.2 from Jun 2022. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='There are two package picks for Coq 8.15.2: the original from 04/2022, and an updated/extended one from 09/2022. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is the original package pick for Coq 8.15.2 from 04/2022. '
 
diff --git a/package_picks/package-pick-8.15~2022.09.sh b/package_picks/package-pick-8.15~2022.09.sh
index 714d4cee01..a607db1ca8 100644
--- a/package_picks/package-pick-8.15~2022.09.sh
+++ b/package_picks/package-pick-8.15~2022.09.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.15.2'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.15.2 from Sep 2022. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.15.2 from Sep 2022. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='There are two package picks for Coq 8.15.2: the original from 04/2022, and an updated/extended one from 09/2022. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is the latest package pick for Coq 8.15.2 with some package updates with the goal to make it as compatible as possible to the Coq 8.16.1 package pick. '
 
diff --git a/package_picks/package-pick-8.16~2022.09.sh b/package_picks/package-pick-8.16~2022.09.sh
index d602e5e5e0..ea84c472e6 100644
--- a/package_picks/package-pick-8.16~2022.09.sh
+++ b/package_picks/package-pick-8.16~2022.09.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.16.1'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.16.1 from Nov 2022. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.16.1 from Nov 2022. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='There are two package picks for Coq 8.16.1: the original from Sep 2022, and an updated/extended one from Aug 2023. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is the original package pick for Coq 8.16.1 from Sep 2022. '
 
diff --git a/package_picks/package-pick-8.17~2023.08.sh b/package_picks/package-pick-8.17~2023.08.sh
index 58d5c6ffe8..890832178c 100644
--- a/package_picks/package-pick-8.17~2023.08.sh
+++ b/package_picks/package-pick-8.17~2023.08.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.17.1'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.17.1 from Jun 2023. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.17.1 from Jun 2023. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is the original package pick for Coq 8.17.1 from Aug 2023. '
 
 # The OCaml version to use for this pick (just the version number - options are elaborated in a platform dependent way)
diff --git a/package_picks/package-pick-8.18~2023.11.sh b/package_picks/package-pick-8.18~2023.11.sh
index 8b77389869..05620d0437 100644
--- a/package_picks/package-pick-8.18~2023.11.sh
+++ b/package_picks/package-pick-8.18~2023.11.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.18.0'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.18.0 from Sep 2023. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.18.0 from Sep 2023. '
 
 # 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.2'
diff --git a/package_picks/package-pick-8.18~mc2.sh b/package_picks/package-pick-8.18~mc2.sh
index a725f277e2..18fa0566fa 100644
--- a/package_picks/package-pick-8.18~mc2.sh
+++ b/package_picks/package-pick-8.18~mc2.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.18.0'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.18.0 from Sep 2023. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.18.0 from Sep 2023. '
 COQ_PLATFORM_VERSION_DESCRIPTION+='This is a preview release based on mathcomp 2.1 (some not compatible packages are missing). '
 
 # The OCaml version to use for this pick (just the version number - options are elaborated in a platform dependent way)
diff --git a/package_picks/package-pick-8.19-2024.01+ltac2-debugger.sh b/package_picks/package-pick-8.19-2024.01+ltac2-debugger.sh
index 817e3e5edf..58904df6a3 100644
--- a/package_picks/package-pick-8.19-2024.01+ltac2-debugger.sh
+++ b/package_picks/package-pick-8.19-2024.01+ltac2-debugger.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='debug_pl_8_19_tag'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.19.2 from Jun 2024 plus the Ltac2 debugger. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.19.2 from Jun 2024 plus the Ltac2 debugger. '
 
 # 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.2'
diff --git a/package_picks/package-pick-8.19~2024.10.sh b/package_picks/package-pick-8.19~2024.10.sh
index 04ee3a7054..1aefd3b270 100644
--- a/package_picks/package-pick-8.19~2024.10.sh
+++ b/package_picks/package-pick-8.19~2024.10.sh
@@ -28,7 +28,7 @@ COQ_PLATFORM_COQ_TAG='8.19.2'
 COQ_PLATFORM_USE_DEV_REPOSITORY='N'
 
 # This extended descriptions is used for readme files
-COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.0 includes Coq 8.19.2 from Jun 2024. '
+COQ_PLATFORM_VERSION_DESCRIPTION='This version of Coq Platform 2024.10.1 includes Coq 8.19.2 from Jun 2024. '
 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)