mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-30 17:43:42 +00:00
54ae0aa1b0
Z3 has supported optimization features since the 4.4.x release, so this can be removed. Signed-off-by: Austin Seipp <aseipp@pobox.com> |
||
---|---|---|
.. | ||
cmake-fix.patch | ||
default.nix |