| changeset 69932 | 56c51f8a118b |
| parent 69789 | 2c3e5e58d93f |
| child 69951 | febb3f035e84 |
--- a/src/Pure/Admin/build_cygwin.scala Wed Mar 20 22:01:12 2019 +0100 +++ b/src/Pure/Admin/build_cygwin.scala Wed Mar 20 22:41:50 2019 +0100 @@ -9,7 +9,7 @@ object Build_Cygwin { - val default_mirror: String = "https://isabelle.sketis.net/cygwin_2018" + val default_mirror: String = "https://isabelle.sketis.net/cygwin_2019" val packages: List[String] = List("curl", "nano", "perl", "perl-libwww-perl", "rlwrap", "unzip")