Pascal Wittmann 6fa0db5a31 coqPackages.fiat: disable parallel build to fix build		2015-06-10 16:14:11 +02:00
..
default.nix	coqPackages.fiat: disable parallel build to fix build	2015-06-10 16:14:11 +02:00