mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-29 00:54:11 +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 | ||