| changeset 78304 | e4b57eea7f86 |
| parent 78299 | 337ef5cdb70c |
| child 78310 | 6872c8d95ebc |
--- a/src/Pure/Admin/component_cygwin.scala Tue Jul 11 15:31:29 2023 +0200 +++ b/src/Pure/Admin/component_cygwin.scala Tue Jul 11 15:44:23 2023 +0200 @@ -8,7 +8,7 @@ object Component_Cygwin { - val default_mirror: String = "https://isabelle.sketis.net/cygwin_2022" + val default_mirror: String = "https://isabelle.sketis.net/cygwin_2023" val packages: List[String] = List("curl", "libgmp-devel", "nano", "openssh", "perl", "rlwrap")