mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-17 03:03:37 +00:00
18663fd1c1
We're dropping -DUSE_SYMFPU because the new Bitwuzla version has a hard requirement on SymFPU. |
||
---|---|---|
.. | ||
default.nix |