Ben Siraphob b04fc593e7 treewide: cmake buildInputs to nativeBuildInputs, minor cleanups		2021-01-01 11:52:33 +07:00
..
default.nix
glucose-fenv.patch
minisat-fenv.patch