| changeset 76028 | 105867f98630 |
| parent 75468 | a1c7829ac2de |
| child 76239 | d042947e47a3 |
--- a/src/Pure/Admin/build_cygwin.scala Wed Aug 31 21:26:56 2022 +0200 +++ b/src/Pure/Admin/build_cygwin.scala Wed Aug 31 22:51:27 2022 +0200 @@ -8,7 +8,7 @@ object Build_Cygwin { - val default_mirror: String = "https://isabelle.sketis.net/cygwin_2021-1" + val default_mirror: String = "https://isabelle.sketis.net/cygwin_2022" val packages: List[String] = List("curl", "libgmp-devel", "nano", "rsync", "unzip")