# HG changeset patch
# User wenzelm
# Date 1664719827 -7200
# Node ID d042947e47a33afeac630ad0faa6a44e3e7a0b06
# Parent  2a052820523d3f78790c5ac97b77776ea5b481be
include openssh for rsync (see also a1c7829ac2de);

diff -r 2a052820523d -r d042947e47a3 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Oct 02 16:05:34 2022 +0200
+++ b/Admin/components/components.sha1	Sun Oct 02 16:10:27 2022 +0200
@@ -74,6 +74,7 @@
 5dff30be394d88dd83ea584fa6f8063bdcdc21fd cygwin-20211004.tar.gz
 fffaae24da4d274d34b8dc79a76b478b87ec31dd cygwin-20211007.tar.gz
 66e16dccd7b177c086ab53013c1b74d09c1893ad cygwin-20220831.tar.gz
+6cd34e30e2e650f239d19725c3d15c206fb3a7cf cygwin-20221002.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1 e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d e-1.6-2.tar.gz
diff -r 2a052820523d -r d042947e47a3 src/Pure/Admin/build_cygwin.scala
--- 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,