src/Pure/Tools/phabricator.scala
Sun, 05 Jan 2025 15:04:42 +0100 wenzelm more robust: ensure that Nginx is not superseded by implicit Apache dependencies (Ubuntu 24.04);
Sun, 05 Jan 2025 13:21:10 +0100 wenzelm drop obsolete URLs;
Sat, 04 Jan 2025 23:20:05 +0100 wenzelm updated Ubuntu versions;
less more (0) -100 -30 -10 -3 tip