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.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html
authorwenzelm
Tue, 05 Mar 2024 18:06:26 +0100
changeset 79782 8bde94328b05
parent 79781 a8d7cf8acaa6
child 79783 60e985e2a12f
update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html
Admin/Windows/Cygwin/README file | annotate | diff | comparison | revisions
Admin/components/PLATFORMS 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	Tue Mar 05 17:42:36 2024 +0100
+++ b/Admin/Windows/Cygwin/README	Tue Mar 05 18:06:26 2024 +0100
@@ -22,6 +22,7 @@
   - https://isabelle.sketis.net/cygwin_2021-1  (Isabelle2021-1)
   - https://isabelle.sketis.net/cygwin_2022  (Isabelle2022)
   - https://isabelle.sketis.net/cygwin_2023  (Isabelle2023)
+  - https://isabelle.sketis.net/cygwin_2024  (Isabelle2024)
 
 * Apache2 redirects for virtual host isabelle.conf:
 ```
@@ -57,6 +58,8 @@
   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
+  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
 ```
 
 * Quasi-component: "isabelle component_cygwin" (as Administrator)
--- a/Admin/components/PLATFORMS	Tue Mar 05 17:42:36 2024 +0100
+++ b/Admin/components/PLATFORMS	Tue Mar 05 18:06:26 2024 +0100
@@ -47,7 +47,7 @@
                     macOS 14 Sonoma (studio1 Mac13,2 M1 Ultra, 16+4 cores)
 
   x86_64-windows    Windows 10
-  x86_64-cygwin     Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release)
+  x86_64-cygwin     Cygwin 3.5.x https://isabelle.sketis.net/cygwin_2024 (x86_64/release)
 
 
 64 bit vs. 32 bit platform personality
--- a/Admin/components/bundled-windows	Tue Mar 05 17:42:36 2024 +0100
+++ b/Admin/components/bundled-windows	Tue Mar 05 18:06:26 2024 +0100
@@ -1,3 +1,3 @@
 #additional components to be bundled for release
-cygwin-20230711-1
+cygwin-20240305
 windows_app-20240205
--- a/Admin/components/components.sha1	Tue Mar 05 17:42:36 2024 +0100
+++ b/Admin/components/components.sha1	Tue Mar 05 18:06:26 2024 +0100
@@ -80,6 +80,7 @@
 6cd34e30e2e650f239d19725c3d15c206fb3a7cf cygwin-20221002.tar.gz
 fe8c541722f2fd6940f9e9948928b55fbc32d14b cygwin-20230711-1.tar.gz
 bc634cae08dea80238a830955894919af995cf06 cygwin-20230711.tar.gz
+ea23f766909632d8a6c0fefafbde467d1d289383 cygwin-20240305.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 Mar 05 17:42:36 2024 +0100
+++ b/src/Pure/Admin/component_cygwin.scala	Tue Mar 05 18:06:26 2024 +0100
@@ -8,7 +8,7 @@
 
 
 object Component_Cygwin {
-  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2023"
+  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2024"
 
   val packages: List[String] = List("curl", "libgmp-devel", "nano", "openssh", "perl")
isabelle