# HG changeset patch
# User wenzelm
# Date 1661979087 -7200
# Node ID 105867f98630dc0da665741fcd5c95245a7049a6
# Parent  00afd2c233c086af7252eb442f06c3c63cf56d95
updated to current Cygwin, near 3.3.5-1;

diff -r 00afd2c233c0 -r 105867f98630 Admin/Windows/Cygwin/README
--- a/Admin/Windows/Cygwin/README	Wed Aug 31 21:26:56 2022 +0200
+++ b/Admin/Windows/Cygwin/README	Wed Aug 31 22:51:27 2022 +0200
@@ -20,6 +20,7 @@
   - https://isabelle.sketis.net/cygwin_2020  (Isabelle2020)
   - https://isabelle.sketis.net/cygwin_2021  (Isabelle2021)
   - https://isabelle.sketis.net/cygwin_2021-1  (Isabelle2021-1)
+  - https://isabelle.sketis.net/cygwin_2022  (Isabelle2022)
 
 * Apache2 redirects for virtual host isabelle.conf:
 ```
@@ -49,6 +50,8 @@
   Redirect /cygwin_2021/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
   Redirect /cygwin_2021-1/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
   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
 ```
 
 * Quasi-component: "isabelle build_cygwin" (as Administrator)
diff -r 00afd2c233c0 -r 105867f98630 Admin/components/PLATFORMS
--- a/Admin/components/PLATFORMS	Wed Aug 31 21:26:56 2022 +0200
+++ b/Admin/components/PLATFORMS	Wed Aug 31 22:51:27 2022 +0200
@@ -45,7 +45,7 @@
   arm64-darwin      macOS 11 Big Sur
 
   x86_64-windows    Windows 10
-  x86_64-cygwin     Cygwin 3.2.x https://isabelle.sketis.net/cygwin_2021-1 (x86_64/release)
+  x86_64-cygwin     Cygwin 3.3.x https://isabelle.sketis.net/cygwin_2022 (x86_64/release)
 
 Experimental platforms:
 
diff -r 00afd2c233c0 -r 105867f98630 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Aug 31 21:26:56 2022 +0200
+++ b/Admin/components/components.sha1	Wed Aug 31 22:51:27 2022 +0200
@@ -72,6 +72,7 @@
 5b1820b87b25d8f2d237515d9854e3ce54ee331b cygwin-20211002.tar.gz
 5dff30be394d88dd83ea584fa6f8063bdcdc21fd cygwin-20211004.tar.gz
 fffaae24da4d274d34b8dc79a76b478b87ec31dd cygwin-20211007.tar.gz
+66e16dccd7b177c086ab53013c1b74d09c1893ad cygwin-20220831.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1 e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d e-1.6-2.tar.gz
diff -r 00afd2c233c0 -r 105867f98630 src/Pure/Admin/build_cygwin.scala
--- a/src/Pure/Admin/build_cygwin.scala	Wed Aug 31 21:26:56 2022 +0200
+++ b/src/Pure/Admin/build_cygwin.scala	Wed Aug 31 22:51:27 2022 +0200
@@ -8,7 +8,7 @@
 
 
 object Build_Cygwin {
-  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2021-1"
+  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2022"
 
   val packages: List[String] =
     List("curl", "libgmp-devel", "nano", "rsync", "unzip")