--- a/Admin/Windows/Cygwin/README Thu Jan 09 08:33:11 2025 +0100
+++ b/Admin/Windows/Cygwin/README Thu Jan 09 23:06:17 2025 +0100
@@ -23,6 +23,7 @@
- https://isabelle.sketis.net/cygwin_2022 (Isabelle2022)
- https://isabelle.sketis.net/cygwin_2023 (Isabelle2023)
- https://isabelle.sketis.net/cygwin_2024 (Isabelle2024)
+ - https://isabelle.sketis.net/cygwin_2025 (Isabelle2025)
* Apache2 redirects for virtual host isabelle.conf:
```
@@ -60,6 +61,8 @@
Redirect /cygwin_2023/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
Redirect /cygwin_2024/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
Redirect /cygwin_2024/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
+ Redirect /cygwin_2025/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
+ Redirect /cygwin_2025/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
```
* Quasi-component: "isabelle component_cygwin" (as Administrator)
--- a/Admin/components/README.md Thu Jan 09 08:33:11 2025 +0100
+++ b/Admin/components/README.md Thu Jan 09 23:06:17 2025 +0100
@@ -50,7 +50,7 @@
- Windows 11
* `x86_64-cygwin`
- **Cygwin 3.5.x**
- https://isabelle.sketis.net/cygwin_2024 (`x86_64/release`)
+ https://isabelle.sketis.net/cygwin_2025 (`x86_64/release`)
Multi-platform tools require thorough testing on all platforms: base-line and
latest versions. It "works for me on my system" is not sufficient for the
--- a/Admin/components/bundled-windows Thu Jan 09 08:33:11 2025 +0100
+++ b/Admin/components/bundled-windows Thu Jan 09 23:06:17 2025 +0100
@@ -1,3 +1,3 @@
#additional components to be bundled for release
-cygwin-20240305
+cygwin-20250109
windows_app-20240205
--- a/Admin/components/components.sha1 Thu Jan 09 08:33:11 2025 +0100
+++ b/Admin/components/components.sha1 Thu Jan 09 23:06:17 2025 +0100
@@ -85,6 +85,7 @@
fe8c541722f2fd6940f9e9948928b55fbc32d14b cygwin-20230711-1.tar.gz
bc634cae08dea80238a830955894919af995cf06 cygwin-20230711.tar.gz
ea23f766909632d8a6c0fefafbde467d1d289383 cygwin-20240305.tar.gz
+0a86ad8c3da8f61b6adb5f36c19ae5c7ab663a4f cygwin-20250109.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 Thu Jan 09 08:33:11 2025 +0100
+++ b/src/Pure/Admin/component_cygwin.scala Thu Jan 09 23:06:17 2025 +0100
@@ -8,7 +8,7 @@
object Component_Cygwin {
- val default_mirror: String = "https://isabelle.sketis.net/cygwin_2024"
+ val default_mirror: String = "https://isabelle.sketis.net/cygwin_2025"
val packages: List[String] = List("curl", "libgmp-devel", "nano", "openssh", "perl")