nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-11-05 12:20:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
haskell-updates
nixpkgs/pkgs/development/python-modules/deal-solver/default.nix
Connor Nelson 3a2c40c867 python3Packages.deal-solver: keep z3-solver dependency metadata 
Use the z3-solver distribution metadata now supplied by Z3.
Remove the workaround that deleted the upstream dependency from Python metadata.

Assisted-by: OpenAI Codex (GPT-6)
2026-10-29 01:06:28 +00:00

1.2 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink