changeset 78311 | b9d9906716f9 |
parent 78310 | 6872c8d95ebc |
child 79782 | 8bde94328b05 |
--- 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,