# HG changeset patch
# User wenzelm
# Date 1680975363 -7200
# Node ID 89e4971df8109466dcd32e72722e2c1c21ac9d85
# Parent  6d03e2114ec59c2558c551428abed4273970552f
removed obsolete "rsync" package;

diff -r 6d03e2114ec5 -r 89e4971df810 src/Pure/Admin/component_cygwin.scala
--- a/src/Pure/Admin/component_cygwin.scala	Sat Apr 08 19:34:51 2023 +0200
+++ b/src/Pure/Admin/component_cygwin.scala	Sat Apr 08 19:36:03 2023 +0200
@@ -10,8 +10,7 @@
 object Component_Cygwin {
   val default_mirror: String = "https://isabelle.sketis.net/cygwin_2022"
 
-  val packages: List[String] =
-    List("curl", "libgmp-devel", "nano", "openssh", "rsync")
+  val packages: List[String] = List("curl", "libgmp-devel", "nano", "openssh")
 
   def build_cygwin(
     target_dir: Path = Path.current,
diff -r 6d03e2114ec5 -r 89e4971df810 src/Pure/Tools/docker_build.scala
--- a/src/Pure/Tools/docker_build.scala	Sat Apr 08 19:34:51 2023 +0200
+++ b/src/Pure/Tools/docker_build.scala	Sat Apr 08 19:36:03 2023 +0200
@@ -15,7 +15,7 @@
   private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux(?:_arm)?\.tar\.gz$""".r
 
   val packages: List[String] =
-    List("curl", "less", "libfontconfig1", "libgomp1", "openssh-client", "pwgen", "rsync")
+    List("curl", "less", "libfontconfig1", "libgomp1", "openssh-client", "pwgen")
 
   val package_collections: Map[String, List[String]] =
     Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),