swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-20 12:29:02 +02:00
Code Issues Packages Projects Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic/cvc4
History
Sandro Jäckel fccf04b620 treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType
2023-09-08 14:18:26 +00:00
..
cvc4-bash-patsub-replacement.patch
default.nix treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType 2023-09-08 14:18:26 +00:00
minisat-fenv.patch