nixpkgs-suyu/pkgs/applications/science/logic/bitwuzla
Mrmaxmeier 18663fd1c1 bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03
We're dropping -DUSE_SYMFPU because the new Bitwuzla version has a hard
requirement on SymFPU.
2022-10-04 18:14:31 +00:00
..
default.nix