{"name":"python313Packages.z3-solver","version":"4.15.0","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6afe187897bef7933475e6af374c893f4c84a293"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-06-14T03:28:56Z","outputs":[{"name":"python","path":"/nix/store/rfghdzz9ypyswwm8sbkrkn6rmh0yaivx-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/6mh7s4pkm1hkjmv2x3lql4cvvy4dv63q-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/gq311i806hc6l94vyv274axsy5g3djf0-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/3wss6p9vd30837q6scsj5lj979mgwgsv-z3-4.15.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f72be405a10668b8b00937b452f2145244103ebc"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-06-11T05:21:29Z","outputs":[{"name":"python","path":"/nix/store/32aswd6h207xj2ipj9h6wwjfqvkp765p-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/7p2a2x2b7ph9ziax93kknxdr5kr6czrl-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/lnzxa43pwj6z0ph63ihba0awsqjsaa86-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/2kmrw3483q5qidlmx68sws7fjfn8kilv-z3-4.15.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6e7721e37bf00fa7ea44ac3cfc9d2411284ec3ef"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-06-13T00:58:23Z","outputs":[{"name":"python","path":"/nix/store/v6ngbvgxav0g4mn7mm6yqav09182s3fg-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/r6r1387qgm4gzb9ml5d9va3s5wnq6p6s-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/j61s47gnkfjayxxywqyy1byh2hhz4sv0-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/wfwi7zfd9c6f34k8fll5gyr1f2l86h83-z3-4.15.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"41da1e3ea8e23e094e5e3eeb1e6b830468a7399e"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-06-14T12:19:57Z","outputs":[{"name":"python","path":"/nix/store/7yyxzrwr9v802b1n02if745i3xsxa2ka-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/hbl8zkp7vxpfqlsjcwb02505zpdjb666-z3-4.15.0","default":true},{"name":"lib","path":"/nix/store/h4hdryljhlmax3h6dc888jfkfhb3y30g-z3-4.15.0-lib"},{"name":"dev","path":"/nix/store/pc0b8yqj0q6shx0gpmg387cigsi1pxdy-z3-4.15.0-dev"}]}}}