{"name":"python313Packages.z3-solver","version":"4.15.8","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"456e8a9468b9d46bd8c9524425026c00745bc4d2"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-04-08T09:18:10Z","outputs":[{"name":"python","path":"/nix/store/56ax8fg727fpd272m5wqkyhzda6zsnib-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/ynjn8r584n3nn6pi52y183xybry4j5v6-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/473ijzdiwfhfyawc4wrm6lgsyzilcclr-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/ydyidq2qy74mbj1xb3gc0cip33acx1bv-z3-4.15.8-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ff048610a1b698607a66f4671821716c2272dc9f"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-04-06T17:08:15Z","outputs":[{"name":"python","path":"/nix/store/qq65bxycnhkkiwgpgpf0az9n6jsx1qcx-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/zasrzhbv2vfwlmfaclzlid4vinp3dkan-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/xr4cf8ixriwdabd6jsyvd5jh8k1vli70-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/gwwpcps2q5gf0m6yb714xkbss27r4im2-z3-4.15.8-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5e11f7acce6c3469bef9df154d78534fa7ae8b6c"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-04-05T15:42:39Z","outputs":[{"name":"python","path":"/nix/store/2yn19b15q5yqz7z37z5w2dshap1q7c43-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/ra1sgvgfpxvpyisnn5mr7iksg8svxas6-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/i663jp7ps1v7qh405cq9yipzcwm8yi61-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/7swal0ningizn2fz205sa3sy5hdcl39q-z3-4.15.8-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9d29d5f667d7467f98efc31881e824fa586c927e"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-04-10T03:55:24Z","outputs":[{"name":"python","path":"/nix/store/mcvzckp2kb2sgxh2zlsyrxdxbmgkg69w-z3-4.15.8-python","default":true},{"name":"out","path":"/nix/store/fyvrsfnsqsbalrfhmq3sfjnqc316mlmw-z3-4.15.8","default":true},{"name":"dev","path":"/nix/store/nr4h15yzp0ivkahmdk11bhpmdqwyrfw1-z3-4.15.8-dev"},{"name":"lib","path":"/nix/store/izlan4g6md03s0jfpj41fjdg81lff162-z3-4.15.8-lib"}]}}}