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