Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more packages: required for svn;
authorwenzelm
Mon, 16 Dec 2019 19:14:07 +0100
changeset 71288 26a40fc962e8
parent 71287 71fd25a7bbe2
child 71289 16e3662217e9
more packages: required for svn;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/phabricator.scala	Mon Dec 16 16:32:07 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Mon Dec 16 19:14:07 2019 +0100
@@ -27,7 +27,7 @@
       "git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
       "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring",
       // more packages
-      "php-zip", "python-pygments", "ssh", "subversion",
+      "php-xml", "php-zip", "python-pygments", "ssh", "subversion",
       // mercurial build packages
       "make", "gcc", "python", "python-dev", "python-docutils", "python-pygments", "python-openssl")
isabelle