| changeset 72361 | 178cbf89780e |
| parent 72036 | e48a5b6b7554 |
| child 72375 | e48d93811ed7 |
--- a/src/Pure/Admin/build_cygwin.scala Fri Oct 02 16:23:51 2020 +0200 +++ b/src/Pure/Admin/build_cygwin.scala Fri Oct 02 21:10:08 2020 +0200 @@ -9,7 +9,7 @@ object Build_Cygwin { - val default_mirror: String = "https://isabelle.sketis.net/cygwin_2020" + val default_mirror: String = "https://isabelle.sketis.net/cygwin_2021" val packages: List[String] = List("curl", "libgmp-devel", "nano", "perl", "perl-libwww-perl", "rlwrap", "unzip")