changeset 75468 | a1c7829ac2de |
parent 75394 | 42267c650205 |
child 76028 | 105867f98630 |
--- a/src/Pure/Admin/build_cygwin.scala Fri May 27 16:16:45 2022 +0200 +++ b/src/Pure/Admin/build_cygwin.scala Sat May 28 13:33:14 2022 +0200 @@ -11,7 +11,7 @@ val default_mirror: String = "https://isabelle.sketis.net/cygwin_2021-1" val packages: List[String] = - List("curl", "libgmp-devel", "nano", "unzip") + List("curl", "libgmp-devel", "nano", "rsync", "unzip") def build_cygwin(progress: Progress, mirror: String = default_mirror,