update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);
--- a/Admin/Windows/Cygwin/README Tue Jul 11 15:31:29 2023 +0200
+++ b/Admin/Windows/Cygwin/README Tue Jul 11 15:44:23 2023 +0200
@@ -21,6 +21,7 @@
- https://isabelle.sketis.net/cygwin_2021 (Isabelle2021)
- https://isabelle.sketis.net/cygwin_2021-1 (Isabelle2021-1)
- https://isabelle.sketis.net/cygwin_2022 (Isabelle2022)
+ - https://isabelle.sketis.net/cygwin_2023 (Isabelle2023)
* Apache2 redirects for virtual host isabelle.conf:
```
@@ -52,6 +53,10 @@
Redirect /cygwin_2021-1/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
Redirect /cygwin_2022/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
Redirect /cygwin_2022/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
+ Redirect /cygwin_2022/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
+ Redirect /cygwin_2022/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
+ Redirect /cygwin_2023/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
+ Redirect /cygwin_2023/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
```
* Quasi-component: "isabelle component_cygwin" (as Administrator)
--- a/Admin/Windows/Cygwin/setup_server Tue Jul 11 15:31:29 2023 +0200
+++ b/Admin/Windows/Cygwin/setup_server Tue Jul 11 15:44:23 2023 +0200
@@ -21,3 +21,5 @@
download "$CYGWIN_MAIN/setup-x86_64.exe"
download "$CYGWIN_MIRROR/x86_64/setup.xz" "x86_64"
download "$CYGWIN_MIRROR/x86_64/setup.xz.sig" "x86_64"
+download "$CYGWIN_MIRROR/x86_64/setup.zst" "x86_64"
+download "$CYGWIN_MIRROR/x86_64/setup.zst.sig" "x86_64"
--- a/Admin/components/PLATFORMS Tue Jul 11 15:31:29 2023 +0200
+++ b/Admin/components/PLATFORMS Tue Jul 11 15:44:23 2023 +0200
@@ -47,7 +47,7 @@
macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2)
x86_64-windows Windows 10
- x86_64-cygwin Cygwin 3.3.x https://isabelle.sketis.net/cygwin_2022 (x86_64/release)
+ x86_64-cygwin Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release)
Experimental platforms:
--- a/Admin/components/components.sha1 Tue Jul 11 15:31:29 2023 +0200
+++ b/Admin/components/components.sha1 Tue Jul 11 15:44:23 2023 +0200
@@ -76,6 +76,7 @@
fffaae24da4d274d34b8dc79a76b478b87ec31dd cygwin-20211007.tar.gz
66e16dccd7b177c086ab53013c1b74d09c1893ad cygwin-20220831.tar.gz
6cd34e30e2e650f239d19725c3d15c206fb3a7cf cygwin-20221002.tar.gz
+bc634cae08dea80238a830955894919af995cf06 cygwin-20230711.tar.gz
0fe549949a025d65d52d6deca30554de8fca3b6e e-1.5.tar.gz
2e293256a134eb8e5b1a283361b15eb812fbfbf1 e-1.6-1.tar.gz
e1919e72416cbd7ac8de5455caba8901acc7b44d e-1.6-2.tar.gz
--- a/src/Pure/Admin/component_cygwin.scala Tue Jul 11 15:31:29 2023 +0200
+++ b/src/Pure/Admin/component_cygwin.scala Tue Jul 11 15:44:23 2023 +0200
@@ -8,7 +8,7 @@
object Component_Cygwin {
- val default_mirror: String = "https://isabelle.sketis.net/cygwin_2022"
+ val default_mirror: String = "https://isabelle.sketis.net/cygwin_2023"
val packages: List[String] = List("curl", "libgmp-devel", "nano", "openssh", "perl", "rlwrap")