Vladimír Čunát f1ed4b50fc zeroc_ice: disable problematic parallel make		2019-02-19 18:14:52 +01:00
..
default.nix
makefile.patch