{"name":"python312Packages.z3-solver","version":"4.15.4","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0744ef1b047f07d31d9962d757ffe38ec14a4d41"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-12-29T08:23:14Z","outputs":[{"name":"python","path":"/nix/store/jwqbkr6ivp2cfd8bp5f3wj0agp9rvgc9-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/1w0qwai2mnfl06qw4lb6az5kamdsfvqq-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/7wgi9a462klsbszhqhyldpc4w47sa815-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/drc05j6000a1hmlg21a5gyy18c4c58rn-z3-4.15.4-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3edc4a30ed3903fdf6f90c837f961fa6b49582d1"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-12-27T12:56:01Z","outputs":[{"name":"python","path":"/nix/store/0jw7wrfjh51s107qjbzmgf4rl2d4v0lk-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/sapqgfsdqa2v3xvapnk948ajs5d62rm1-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/bn6l9nnbx08zdhhz1g05dzxshc5mb9lq-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/lq10x6iz5iwic1y1nlbph9m24q3d3g1i-z3-4.15.4-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5d6bdbddb4695a62f0d00a3620b37a15275a5093"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-12-11T04:04:52Z","outputs":[{"name":"python","path":"/nix/store/8ylk1d48yf1wz9mbb2a6x6575grjdl9i-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/xxyvqlgsias0xf3xyc91152v7n3i9flx-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/1r87vbr42q5z0v4d70s20ccvijfkvfdd-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/89zq4zy8kp4dli255chqljxs86ng9aqg-z3-4.15.4-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0744ef1b047f07d31d9962d757ffe38ec14a4d41"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-12-29T08:23:14Z","outputs":[{"name":"python","path":"/nix/store/vw2gjam2vf14s05r5g2gka5prpysnd2g-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/0ddpi9pg7k8q65j5fa260sjmm8vglrzw-z3-4.15.4","default":true},{"name":"lib","path":"/nix/store/w0spxgwqzmv9q9i4pyqw9ck2qv2crs5m-z3-4.15.4-lib"},{"name":"dev","path":"/nix/store/761b40pia5jn40lwzsp5a18fhhk0jdda-z3-4.15.4-dev"}]}}}