nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-11-04 11:50:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
haskell-updates
nixpkgs/pkgs/development/python-modules/model-checker/default.nix
Connor Nelson 20d0c2db84 python3Packages.model-checker: 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

878 B
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink