{"name":"python312Packages.z3-solver","version":"4.15.2","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-08-12T09:17:37Z","outputs":[{"name":"python","path":"/nix/store/vyhrq6x3x99mqbi46rzrf4w3lbl0i05p-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/qa5nkm3c684q6k0ia1y88hhmwcdwqvq2-z3-4.15.2","default":true},{"name":"lib","path":"/nix/store/b756p4xwii8bv9x5k49c9dm0wgssz83i-z3-4.15.2-lib"},{"name":"dev","path":"/nix/store/qlx2rd5b0l42zmj5qylap0dm1gabz0yj-z3-4.15.2-dev"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"641d909c4a7538f1539da9240dedb1755c907e40"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-08-10T04:38:50Z","outputs":[{"name":"python","path":"/nix/store/njza0qldx9winbvh81racb83h3j9imip-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/dn831hlglw0j0v6jqrdynjqam0n0z6k8-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/vwiwy8bcvm5bsxwn7fmwgqyqkdys0pxn-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/fdkpiapfx443090bxld0asl78bx667cw-z3-4.15.2-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f86999f8bfef9ff57f7f03c1c5deedc2784fc666"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-08-09T12:28:43Z","outputs":[{"name":"python","path":"/nix/store/kyzvvm6a0ciw96bb43zgq2gxy3cxx1hy-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/aygfak9id7sffjjnliydcdrd3kk5921l-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/h9sh8by7czyhvsxsli3gh66qfdnrmar5-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/6fng4aj3l5p4laaai57yk5wzhgswzjl1-z3-4.15.2-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-08-12T09:17:37Z","outputs":[{"name":"python","path":"/nix/store/02mq2aqx4k6glln30d5d2w3sv8v4xvya-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/4j20p13xj81kccns6aiyf93qk0i2b86d-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/8ff3qaafsrpq1agr8y4yirxp70hsdapd-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/95pmc86wcgqpmkwik504pqg9jk1cz4qd-z3-4.15.2-lib"}]}}}