3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science/logic/cvc4
2021-01-03 18:37:40 +07:00
..
default.nix treewide: remove enableParallelBuilding = true if using cmake 2021-01-03 18:37:40 +07:00
minisat-fenv.patch