Skip to content

Commit 78a643c

Browse files
MSoegtropIMCMSoegtropIMC
authored
Merge pull request #464 from MSoegtropIMC/2025.01-prep-9
2025.01 prep 9
2 parents 4475633 + 2dcc574 commit 78a643c

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

49 files changed

+4507
-412
lines changed

Diff for: ‎README.md

+51-33
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
# ATTENTION RELEASE IN PROGRESS
2+
3+
**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.**
4+
5+
**In case you experience dead links, please replace `2025.01.0` with `2024.10.0`.**
6+
17
# Overview
28

39
The [Coq proof assistant](https://coq.inria.fr) provides a formal language
@@ -35,6 +41,7 @@ The table below contains links to the README files for the supported versions
3541
of Coq and libraries. Each README file contains a list of included packages with
3642
detailed information for each package.
3743

44+
- [Coq 8.20.1 (released Jan 2025) with the first package pick from Jan 2025](doc/README~8.20~2025.01.md)
3845
- [Coq 8.19.2 (released Jun 2024) with the first package pick from Oct 2024](doc/README~8.19~2024.10.md)
3946
- [Coq 8.18.0 (released Sep 2023) with the first package pick from Nov 2023](doc/README~8.18~2023.11.md)
4047
- [Coq 8.18.0 (released Sep 2023) with a package pick based on mathcomp 2.1](doc/README~8.18~mc2.md)
@@ -78,6 +85,15 @@ The Coq Platform team does no double check this information.
7885

7986
<details><summary><font size="+1">Release notes / changelog</font></summary>
8087

88+
## Changes in 2025.01.0
89+
90+
- added new pick `8.20~2025.01`
91+
- added package `vscoq-language-server` to picks `8.20~2025.01` and `8.19~2024.10`
92+
- Windows: link DLLs into opam switch bin folder, so that binaries can be called from outside cygwin
93+
- this enables the use of a Windows "from sources" installation outside of cygwin without setting PATH
94+
- added script `windows/link_shared_libraries.sh` to hard link cygwin provided DLLs into the opam switch bin folder
95+
- call this script automatically during cygwin setup
96+
8197
## Changes in 2024.10.1
8298

8399
This is a "source only" bugfix release which addresses changes in the opam file format in opam 2.3.0.
@@ -282,31 +298,32 @@ You can list the available switches with:
282298
```
283299
~$ opam switch
284300
# switch compiler description
285-
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
286-
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
287-
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
288-
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
289-
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
290-
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
291-
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
292-
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
293-
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
294-
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
295-
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
296-
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
297-
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
298-
→ 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
299-
CP.2024.10.1~dev ocaml-option-flambda.1,ocaml-variants.4.13.1+options Coq dev (latest master of all packages)
301+
CP.2025.01.0~8.12 ocaml-base-compiler.4.10.2 Coq 8.12.2 (released Dec 2020) with the first package pick from Dec 2020
302+
CP.2025.01.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
303+
CP.2025.01.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
304+
CP.2025.01.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
305+
CP.2025.01.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
306+
CP.2025.01.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
307+
CP.2025.01.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
308+
CP.2025.01.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
309+
CP.2025.01.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
310+
CP.2025.01.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
311+
CP.2025.01.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
312+
CP.2025.01.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
313+
CP.2025.01.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
314+
CP.2025.01.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
315+
→ CP.2025.01.0~8.20~2025.01 ocaml-option-flambda.1,ocaml-variants.4.14.2+options Coq 8.20.1 (released Jan 2025) with the first package pick from Jan 2025
316+
CP.2025.01.0~dev ocaml-option-flambda.1,ocaml-variants.4.14.2+options Coq dev (latest master of all packages)
300317
```
301318

302319
You can select the opam switch for **all shells** with e.g.:
303320
```
304-
~$ opam switch CP.2024.10.1~8.19~2024.10
321+
~$ opam switch CP.2025.01.0~8.20~2025.01
305322
```
306323

307324
You can select the opam switch for **just the current shell** with e.g.:
308325
```
309-
eval $(opam config env --set-switch --switch CP.2024.10.1~8.19~2024.10)
326+
eval $(opam config env --set-switch --switch CP.2025.01.0~8.20~2025.01)
310327
```
311328

312329
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.
@@ -345,25 +362,26 @@ Please clarify the license at [CompCert License](https://github.com/AbsInt/CompC
345362
```
346363
~$ opam switch
347364
# switch compiler description
348-
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
349-
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
350-
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
351-
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
352-
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
353-
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
354-
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
355-
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
356-
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
357-
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
358-
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
359-
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
360-
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
361-
→ 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
362-
CP.2024.10.1~dev ocaml-option-flambda.1,ocaml-variants.4.13.1+options Coq dev (latest master of all packages)
365+
CP.2025.01.0~8.12 ocaml-base-compiler.4.10.2 Coq 8.12.2 (released Dec 2020) with the first package pick from Dec 2020
366+
CP.2025.01.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
367+
CP.2025.01.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
368+
CP.2025.01.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
369+
CP.2025.01.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
370+
CP.2025.01.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
371+
CP.2025.01.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
372+
CP.2025.01.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
373+
CP.2025.01.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
374+
CP.2025.01.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
375+
CP.2025.01.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
376+
CP.2025.01.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
377+
CP.2025.01.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
378+
CP.2025.01.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
379+
→ CP.2025.01.0~8.20~2025.01 ocaml-option-flambda.1,ocaml-variants.4.14.2+options Coq 8.20.1 (released Jan 2025) with the first package pick from Jan 2025
380+
CP.2025.01.0~dev ocaml-option-flambda.1,ocaml-variants.4.14.1+options Coq dev (latest master of all packages)
363381
```
364382
- Choose the switch you want to change with this command (example):
365383
```
366-
opam switch CP.2024.10.1~8.19~2024.10
384+
opam switch CP.2025.01.0~8.20~2025.01
367385
eval $(opam env)
368386
```
369387
- You can find packages with `opam list --all | grep "some keyword"`.

Diff for: ‎doc/DependencyGraph~8.19~2024.10.pdf

353 Bytes
Binary file not shown.

Diff for: ‎doc/DependencyGraph~8.20~2025.01.pdf

59.2 KB
Binary file not shown.

Diff for: ‎doc/FAQ-customized-installers.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ If you have issues, please contact us on zulip chat [Coq-Platform & users](https
5151

5252
After you created and built a new package pick, you can create a macOS DMG installer from it as follows:
5353

54-
- Activate the opam switch with `opam switch CP.2024.10.1~my_new_pick`
54+
- Activate the opam switch with `opam switch CP.2025.01.0~my_new_pick`
5555
- Navigate to your Coq Platform git folder, e.g. `cd ~/platform`
5656
- Run `macos/create_installer_macos.sh -sign=Y -signcert=path_to_certificate_file -signid=signature_id`
5757
- 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
6363
After you created and built a new package pick, you can create a Windows installer from it as follows:
6464

6565
- Open the Coq Platform cygwin shell, e.g. `C:\bin\cygwin64_coq_platform\cygwin.bat`.
66-
- Activate the opam switch with `opam switch CP.2024.10.1~my_new_pick`
66+
- Activate the opam switch with `opam switch CP.2025.01.0~my_new_pick`
6767
- Navigate to the `coq-platform` folder.
6868
- Run `windows/create_installer_windows.sh`
6969

0 commit comments

Comments
 (0)