Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update cygwin near 3.6.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2025-October/012543.html
authorwenzelm
Mon, 03 Nov 2025 21:09:20 +0100
changeset 83493 c485d66e5a6e
parent 83492 9a226cf0f968
child 83494 d83e23a67e9c
update cygwin near 3.6.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2025-October/012543.html
Admin/Windows/Cygwin/README file | annotate | diff | comparison | revisions
Admin/components/README.md file | annotate | diff | comparison | revisions
Admin/components/bundled-windows file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
src/Pure/Admin/component_cygwin.scala file | annotate | diff | comparison | revisions 
--- a/Admin/Windows/Cygwin/README	Mon Nov 03 19:32:52 2025 +0100
+++ b/Admin/Windows/Cygwin/README	Mon Nov 03 21:09:20 2025 +0100
@@ -24,6 +24,7 @@
   - https://isabelle.sketis.net/cygwin_2023  (Isabelle2023)
   - https://isabelle.sketis.net/cygwin_2024  (Isabelle2024)
   - https://isabelle.sketis.net/cygwin_2025  (Isabelle2025)
+  - https://isabelle.sketis.net/cygwin_2025-1  (Isabelle2025-1)
 
 * Apache2 redirects for virtual host isabelle.conf:
 ```
@@ -63,6 +64,8 @@
   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
+  Redirect /cygwin_2025-1/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
+  Redirect /cygwin_2025-1/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	Mon Nov 03 19:32:52 2025 +0100
+++ b/Admin/components/README.md	Mon Nov 03 21:09:20 2025 +0100
@@ -50,8 +50,8 @@
       - **Windows 10**
       - Windows 11
   * `x86_64-cygwin`
-      - **Cygwin 3.5.x**
-        https://isabelle.sketis.net/cygwin_2025 (`x86_64/release`)
+      - **Cygwin 3.6.x**
+        https://isabelle.sketis.net/cygwin_2025-1 (`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	Mon Nov 03 19:32:52 2025 +0100
+++ b/Admin/components/bundled-windows	Mon Nov 03 21:09:20 2025 +0100
@@ -1,3 +1,3 @@
 #additional components to be bundled for release
-cygwin-20250109
+cygwin-20251103
 windows_app-20250315
--- a/Admin/components/components.sha1	Mon Nov 03 19:32:52 2025 +0100
+++ b/Admin/components/components.sha1	Mon Nov 03 21:09:20 2025 +0100
@@ -87,6 +87,7 @@
 bc634cae08dea80238a830955894919af995cf06 cygwin-20230711.tar.gz
 ea23f766909632d8a6c0fefafbde467d1d289383 cygwin-20240305.tar.gz
 0a86ad8c3da8f61b6adb5f36c19ae5c7ab663a4f cygwin-20250109.tar.gz
+5de9751f19023446669826a1f47d35e4bfd15ac9 cygwin-20251103.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	Mon Nov 03 19:32:52 2025 +0100
+++ b/src/Pure/Admin/component_cygwin.scala	Mon Nov 03 21:09:20 2025 +0100
@@ -8,7 +8,7 @@
 
 
 object Component_Cygwin {
-  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2025"
+  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2025-1"
 
   val packages: List[String] = List("curl", "libgmp-devel", "nano", "openssh", "perl")
isabelle