changeset 71385 | 06bb82e7af2a |
parent 69951 | febb3f035e84 |
child 72036 | e48a5b6b7554 |
--- a/src/Pure/Admin/build_cygwin.scala Wed Jan 15 20:11:28 2020 +0100 +++ b/src/Pure/Admin/build_cygwin.scala Thu Jan 16 14:07:28 2020 +0100 @@ -9,7 +9,7 @@ object Build_Cygwin { - val default_mirror: String = "https://isabelle.sketis.net/cygwin_2019" + val default_mirror: String = "https://isabelle.sketis.net/cygwin_2020" val packages: List[String] = List("curl", "libgmp-devel", "nano", "perl", "perl-libwww-perl", "rlwrap", "unzip")