diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2016-03-30 22:17:59 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2016-03-31 00:56:34 +0200 |
| commit | 254e2cc982808467539b232ffe8f15348b84c36f (patch) | |
| tree | 329998bcf64c943cb3aa6c8c0410760f58682ea8 /pkgs/applications/science/logic/cvc4 | |
| parent | 207549ec9d24d0742bd6381e0afd1b35573afffa (diff) | |
| download | nixpkgs-254e2cc982808467539b232ffe8f15348b84c36f.tar nixpkgs-254e2cc982808467539b232ffe8f15348b84c36f.tar.gz nixpkgs-254e2cc982808467539b232ffe8f15348b84c36f.tar.bz2 nixpkgs-254e2cc982808467539b232ffe8f15348b84c36f.tar.lz nixpkgs-254e2cc982808467539b232ffe8f15348b84c36f.tar.xz nixpkgs-254e2cc982808467539b232ffe8f15348b84c36f.tar.zst nixpkgs-254e2cc982808467539b232ffe8f15348b84c36f.zip | |
hhvm: disable parallel building
/cc #14151. http://hydra.nixos.org/build/33846692/nixlog/1/tail
Diffstat (limited to 'pkgs/applications/science/logic/cvc4')
0 files changed, 0 insertions, 0 deletions