changeset 76239 | d042947e47a3 |
parent 76028 | 105867f98630 |
child 76526 | 33025e13dcdc |
--- a/src/Pure/Admin/build_cygwin.scala Sun Oct 02 16:05:34 2022 +0200 +++ b/src/Pure/Admin/build_cygwin.scala Sun Oct 02 16:10:27 2022 +0200 @@ -11,7 +11,7 @@ val default_mirror: String = "https://isabelle.sketis.net/cygwin_2022" val packages: List[String] = - List("curl", "libgmp-devel", "nano", "rsync", "unzip") + List("curl", "libgmp-devel", "nano", "openssh", "rsync", "unzip") def build_cygwin(progress: Progress, mirror: String = default_mirror,