{"name":"z3","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":"02f3fa0374fa13707d42d55d58ecc76b091f223c"},"attr_path":"z3"},"last_updated":"2026-04-09T11:02:51Z","outputs":[{"name":"out","path":"/nix/store/ynjn8r584n3nn6pi52y183xybry4j5v6-z3-4.15.8","default":true},{"name":"python","path":"/nix/store/56ax8fg727fpd272m5wqkyhzda6zsnib-z3-4.15.8-python"},{"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":"9d29d5f667d7467f98efc31881e824fa586c927e"},"attr_path":"z3"},"last_updated":"2026-04-10T03:55:24Z","outputs":[{"name":"out","path":"/nix/store/zasrzhbv2vfwlmfaclzlid4vinp3dkan-z3-4.15.8","default":true},{"name":"python","path":"/nix/store/qq65bxycnhkkiwgpgpf0az9n6jsx1qcx-z3-4.15.8-python"},{"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":"b0188973b4b2a5b6bdba8b65381d6cd09a533da0"},"attr_path":"z3"},"last_updated":"2026-04-09T19:38:50Z","outputs":[{"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"},{"name":"python","path":"/nix/store/2yn19b15q5yqz7z37z5w2dshap1q7c43-z3-4.15.8-python"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9d29d5f667d7467f98efc31881e824fa586c927e"},"attr_path":"z3"},"last_updated":"2026-04-10T03:55:24Z","outputs":[{"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"},{"name":"python","path":"/nix/store/mcvzckp2kb2sgxh2zlsyrxdxbmgkg69w-z3-4.15.8-python"}]}}}