changeset 79782 | 8bde94328b05 |
parent 78311 | b9d9906716f9 |
child 79786 | 589112078150 |
--- 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")