# HG changeset patch
# User wenzelm
# Date 1670160282 -3600
# Node ID 120f79cdb492e89ed26801888b66c96a91062547
# Parent  13fde66c7cf6417dfea8216c7933f73ef0a6e5b7
discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);

diff -r 13fde66c7cf6 -r 120f79cdb492 src/Pure/Admin/build_cygwin.scala
--- a/src/Pure/Admin/build_cygwin.scala	Sun Dec 04 14:15:12 2022 +0100
+++ b/src/Pure/Admin/build_cygwin.scala	Sun Dec 04 14:24:42 2022 +0100
@@ -11,7 +11,7 @@
   val default_mirror: String = "https://isabelle.sketis.net/cygwin_2022"
 
   val packages: List[String] =
-    List("curl", "libgmp-devel", "nano", "openssh", "rsync", "unzip")
+    List("curl", "libgmp-devel", "nano", "openssh", "rsync")
 
   def build_cygwin(
     target_dir: Path = Path.current,
diff -r 13fde66c7cf6 -r 120f79cdb492 src/Pure/Tools/build_docker.scala
--- a/src/Pure/Tools/build_docker.scala	Sun Dec 04 14:15:12 2022 +0100
+++ b/src/Pure/Tools/build_docker.scala	Sun Dec 04 14:24:42 2022 +0100
@@ -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", "unzip")
+    List("curl", "less", "libfontconfig1", "libgomp1", "openssh-client", "pwgen", "rsync")
 
   val package_collections: Map[String, List[String]] =
     Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),