# HG changeset patch
# User wenzelm
# Date 1484495262 -3600
# Node ID ba72a13eb78c507995797ce135fefb504bcb0242
# Parent  312aa8b92ea2cc13fed93b83a41d4b23cfd2d330
afford approx. 10MB for curl, e.g. required for "isabelle components";

diff -r 312aa8b92ea2 -r ba72a13eb78c src/Pure/Admin/build_docker.scala
--- a/src/Pure/Admin/build_docker.scala	Sun Jan 15 16:42:37 2017 +0100
+++ b/src/Pure/Admin/build_docker.scala	Sun Jan 15 16:47:42 2017 +0100
@@ -12,7 +12,7 @@
   private lazy val default_logic = Isabelle_System.getenv("ISABELLE_LOGIC")
 
   val packages: List[String] =
-    List("less", "lib32stdc++6", "libgomp1", "libwww-perl", "rlwrap", "unzip")
+    List("curl", "less", "lib32stdc++6", "libgomp1", "libwww-perl", "rlwrap", "unzip")
 
   val package_collections: Map[String, List[String]] =
     Map("X11" -> List("libx11-6", "libxext6", "libxrender1", "libxtst6", "libxi6"),