Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/phabricator.scala
changeset 71265 6ca561001244
parent 71135 781b15f53098
child 71266 8451c86ffa85 
--- a/src/Pure/Tools/phabricator.scala	Tue Dec 10 01:06:39 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Dec 10 16:45:56 2019 +0100
@@ -21,7 +21,7 @@
   /* required packages */
 
   val packages: List[String] =
-    Build_Docker.packages :::
+    Build_Docker.packages ::: Linux.packages :::
     List(
       // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
       "git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
isabelle