# HG changeset patch
# User wenzelm
# Date 1689096404 -7200
# Node ID b9d9906716f90a8a610b433cbb33c0d46cba40e4
# Parent  6872c8d95ebc2799c95557051403eda1459cb066
avoid bloat of approx. 300MB due to implicit dependency on python;

diff -r 6872c8d95ebc -r b9d9906716f9 src/Pure/Admin/component_cygwin.scala
--- a/src/Pure/Admin/component_cygwin.scala	Tue Jul 11 19:18:27 2023 +0200
+++ b/src/Pure/Admin/component_cygwin.scala	Tue Jul 11 19:26:44 2023 +0200
@@ -10,7 +10,7 @@
 object Component_Cygwin {
   val default_mirror: String = "https://isabelle.sketis.net/cygwin_2023"
 
-  val packages: List[String] = List("curl", "libgmp-devel", "nano", "openssh", "perl", "rlwrap")
+  val packages: List[String] = List("curl", "libgmp-devel", "nano", "openssh", "perl")
 
   def build_cygwin(
     target_dir: Path = Path.current,