--- 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)
--- 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:
--- 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
--- 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")