--- a/src/Pure/Tools/build_docker.scala Fri Sep 16 22:33:14 2022 +0200
+++ b/src/Pure/Tools/build_docker.scala Fri Sep 16 23:44:26 2022 +0200
@@ -15,7 +15,7 @@
private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux(?:_arm)?\.tar\.gz$""".r
val packages: List[String] =
- List("curl", "less", "libfontconfig1", "libgomp1", "pwgen", "unzip")
+ List("curl", "less", "libfontconfig1", "libgomp1", "openssh-client", "pwgen", "rsync", "unzip")
val package_collections: Map[String, List[String]] =
Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),