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;
authorwenzelm
Thu, 14 Nov 2019 22:59:20 +0100
changeset 71135 781b15f53098
parent 71134 81536e5d8ea7
child 71136 f636d31f3616
more packages;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 14 22:37:12 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 14 22:59:20 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")
+      "php-zip", "python-pygments", "ssh", "subversion", "mercurial")
 
 
   /* global system resources */
isabelle