{"name":"python312Packages.z3-solver","version":"4.15.1","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8131c0ea9df6293a247be743a387ff725e464db7"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-07-18T12:29:53Z","outputs":[{"name":"python","path":"/nix/store/vfx0nmjnmq4id0kp5ch58dryvr9vqh7s-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/6pw1s6710zgvvml722m0s4yz71hgfv6l-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/8q87izhn1p1x0q2icyymgh7h1pf0gi7l-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/sywi619ndz07w8d3lcza1j1k1i36hihz-z3-4.15.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7c688a0875df5a8c28a53fb55ae45e94eae0dddb"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-07-20T07:42:04Z","outputs":[{"name":"python","path":"/nix/store/ryci1dyi9g7cakhzk69gz9d92hy29bix-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/k0vnqsy62sli2jck1zvj9sslfy465f5x-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/8j7lh5asr86v7ky3nlhx88fj5sx8ss5m-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/sn88qgj48rnga189v464l3zzf6bxyvzc-z3-4.15.1-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a421ac6595024edcfbb1ef950a3712b89161c359"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-07-13T22:45:35Z","outputs":[{"name":"python","path":"/nix/store/gvbxar5ygbb32bi8s7m12qd03ari5dpv-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/l8i54qjal9cgxlq1csf4rhdlz60s4sq2-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/y7k2dd3lpv6y99ysiapymcjp5diira3g-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/3k68lipd17nmkz974ki9kmrz98p6pnxi-z3-4.15.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6027c30c8e9810896b92429f0092f624f7b1aace"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-07-25T08:26:56Z","outputs":[{"name":"python","path":"/nix/store/rfmf6wbi1drwr4ajcjxwd9b9lw6qqbx3-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/f6a05v58i6hg7s5lb99xy7i7hf9mk72b-z3-4.15.1","default":true},{"name":"lib","path":"/nix/store/iyq12zqfzznlrlr6f6irvyhw70ilgmrd-z3-4.15.1-lib"},{"name":"dev","path":"/nix/store/f4aagf2dy7q6g9b52fawxdi7fcy36zx4-z3-4.15.1-dev"}]}}}