--- 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
--- 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,