updated to Cygwin 3.0.4 (approximation for Isabelle2019);
authorwenzelm
Wed Mar 20 22:41:50 2019 +0100 (4 months ago)
changeset 6993256c51f8a118b
parent 69931 31ee094dea3d
child 69933 c15ee153dec1
updated to Cygwin 3.0.4 (approximation for Isabelle2019);
Admin/Windows/Cygwin/README
Admin/components/components.sha1
src/Pure/Admin/build_cygwin.scala
     1.1 --- a/Admin/Windows/Cygwin/README	Wed Mar 20 22:01:12 2019 +0100
     1.2 +++ b/Admin/Windows/Cygwin/README	Wed Mar 20 22:41:50 2019 +0100
     1.3 @@ -16,6 +16,7 @@
     1.4    http://isabelle.in.tum.de/cygwin_2016-1  (Isabelle2016-1)
     1.5    http://isabelle.in.tum.de/cygwin_2017  (Isabelle2017)
     1.6    https://isabelle.sketis.net/cygwin_2018  (Isabelle2018)
     1.7 +  https://isabelle.sketis.net/cygwin_2019  (Isabelle2019)
     1.8  
     1.9  * Apache2 redirects for virtual host isabelle.conf:
    1.10    Redirect /cygwin/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
    1.11 @@ -35,6 +36,9 @@
    1.12    Redirect /cygwin_2018/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
    1.13    Redirect /cygwin_2018/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
    1.14    Redirect /cygwin_2018/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
    1.15 +  Redirect /cygwin_2019/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
    1.16 +  Redirect /cygwin_2019/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
    1.17 +  Redirect /cygwin_2019/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
    1.18  
    1.19  * Quasi-component: "isabelle build_cygwin" (as Administrator)
    1.20  
     2.1 --- a/Admin/components/components.sha1	Wed Mar 20 22:01:12 2019 +0100
     2.2 +++ b/Admin/components/components.sha1	Wed Mar 20 22:41:50 2019 +0100
     2.3 @@ -47,6 +47,7 @@
     2.4  f8eb6a0f722e3cfe3775d1204c5c7063ee1f008e  cygwin-20170828.tar.gz
     2.5  c22048912b010a5a0b4f2a3eb4d318d6953761e4  cygwin-20170930.tar.gz
     2.6  5a3919e665947b820fd7f57787280c7512be3782  cygwin-20180604.tar.gz
     2.7 +2aa049170e8088de59bd70eed8220f552093932d  cygwin-20190320.tar.gz
     2.8  0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
     2.9  2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
    2.10  e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
     3.1 --- a/src/Pure/Admin/build_cygwin.scala	Wed Mar 20 22:01:12 2019 +0100
     3.2 +++ b/src/Pure/Admin/build_cygwin.scala	Wed Mar 20 22:41:50 2019 +0100
     3.3 @@ -9,7 +9,7 @@
     3.4  
     3.5  object Build_Cygwin
     3.6  {
     3.7 -  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2018"
     3.8 +  val default_mirror: String = "https://isabelle.sketis.net/cygwin_2019"
     3.9  
    3.10    val packages: List[String] =
    3.11      List("curl", "nano", "perl", "perl-libwww-perl", "rlwrap", "unzip")