# HG changeset patch
# User wenzelm
# Date 1633641669 -7200
# Node ID 122615955fc0f0f592b9ba3f24aef7006119a921
# Parent  dd18b59aded7f99dbb609085c5bbea8646fc7ce2
save 45 MB by excluding rlwrap and thus perl;

diff -r dd18b59aded7 -r 122615955fc0 Admin/components/bundled-windows
--- a/Admin/components/bundled-windows	Thu Oct 07 22:46:47 2021 +0200
+++ b/Admin/components/bundled-windows	Thu Oct 07 23:21:09 2021 +0200
@@ -1,3 +1,3 @@
 #additional components to be bundled for release
-cygwin-20211004
+cygwin-20211007
 windows_app-20181006
diff -r dd18b59aded7 -r 122615955fc0 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Oct 07 22:46:47 2021 +0200
+++ b/Admin/components/components.sha1	Thu Oct 07 23:21:09 2021 +0200
@@ -69,6 +69,7 @@
 a3d481401b633c0ee6abf1da07d75da94076574c  cygwin-20201130.tar.gz
 5b1820b87b25d8f2d237515d9854e3ce54ee331b  cygwin-20211002.tar.gz
 5dff30be394d88dd83ea584fa6f8063bdcdc21fd  cygwin-20211004.tar.gz
+fffaae24da4d274d34b8dc79a76b478b87ec31dd  cygwin-20211007.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
diff -r dd18b59aded7 -r 122615955fc0 src/Pure/Admin/build_cygwin.scala
--- a/src/Pure/Admin/build_cygwin.scala	Thu Oct 07 22:46:47 2021 +0200
+++ b/src/Pure/Admin/build_cygwin.scala	Thu Oct 07 23:21:09 2021 +0200
@@ -12,7 +12,7 @@
   val default_mirror: String = "https://isabelle.sketis.net/cygwin_2021-1"
 
   val packages: List[String] =
-    List("curl", "libgmp-devel", "nano", "rlwrap", "unzip")
+    List("curl", "libgmp-devel", "nano", "unzip")
 
   def build_cygwin(progress: Progress,
     mirror: String = default_mirror,