changeset 66529 | f39e01e9c489 |
parent 65071 | 9ed87c82cbe7 |
child 66727 | 56b92ce30d87 |
--- a/src/Pure/Admin/build_cygwin.scala Sat Aug 26 18:58:40 2017 +0200 +++ b/src/Pure/Admin/build_cygwin.scala Mon Aug 28 19:06:00 2017 +0200 @@ -9,7 +9,7 @@ object Build_Cygwin { - val default_mirror: String = "http://isabelle.in.tum.de/cygwin_2016-1" + val default_mirror: String = "http://isabelle.in.tum.de/cygwin_2017" val packages: List[String] = List("curl", "nano", "perl", "perl-libwww-perl", "rlwrap", "unzip")