# HG changeset patch # User wenzelm # Date 1576520047 -3600 # Node ID 26a40fc962e8aa9554fded7b8cd1bf8b06ad44c7 # Parent 71fd25a7bbe234de3f288533a553e32da418ef04 more packages: required for svn; diff -r 71fd25a7bbe2 -r 26a40fc962e8 src/Pure/Tools/phabricator.scala --- 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")