{"name":"python312Packages.z3-solver","version":"4.8.17","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-01-16T05:04:52Z","outputs":[{"name":"python","path":"/nix/store/lsxlpn16n23qn0k42hcmz418qan74mr1-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/0nn4yav67pc6dir9dsz5gi87fbqhqpxq-z3-solver-4.8.17","default":true},{"name":"lib","path":"/nix/store/kv80815qdjv1w0raa6lxhmz3whh00hb4-z3-solver-4.8.17-lib"},{"name":"dev","path":"/nix/store/w2dj8228mfvb40ly1mrpss68bhcy7y99-z3-solver-4.8.17-dev"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-01-16T05:04:52Z","outputs":[{"name":"python","path":"/nix/store/hiwg8ywp5n5ywgnf2sap33klm2nji7zy-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/ii03qcz2d6g49v0576h9864vs46vz31v-z3-solver-4.8.17","default":true},{"name":"lib","path":"/nix/store/7l0fl8wy0hc0iw033jnjj23awqrqf7x7-z3-solver-4.8.17-lib"},{"name":"dev","path":"/nix/store/nb8p64psf4k737518zv6hc1k5pn3rsx9-z3-solver-4.8.17-dev"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ef56e777fedaa4da8c66a150081523c5de1e0171"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-01-13T08:04:02Z","outputs":[{"name":"python","path":"/nix/store/wpzcx52iwivyi3ly0spdw2pw8jsh42zi-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/ksbjdbq688169fcg64h7mknf8mwy5bg0-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/kikciy3kwzqa6hskz735pqxvixv4ibva-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/5dr7g1wrvawnifhmc9pcrnvliliby10c-z3-solver-4.8.17-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"590cc22eefd616c8f90608870d28afe25d37e8b8"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-01-11T15:21:40Z","outputs":[{"name":"python","path":"/nix/store/b0rq9qys3in9r0cgzk8h6k7174r6b2ab-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/h5iq8v5jqx1gwhf0pinprm1pih5yssvc-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/wgn2kaawkk6a8rbqpyacvf3d6lxzcl84-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/7j1ax4wrmxkwjgm0gasnb93w7c26dhjw-z3-solver-4.8.17-lib"}]}}}