{"name":"python311Packages.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":"71a6392e367b08525ee710a93af2e80083b5b3e2"},"attr_path":"python311Packages.z3-solver"},"last_updated":"2024-12-13T21:43:23Z","outputs":[{"name":"python","path":"/nix/store/mgcxn4y2g6l52d01sr3wb7qr4b57dzz0-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/kwwsa8005w0z860iixsk84s9w9f1d6nz-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/5hd46v1spys6zkpd9drlvsjymjw1mqr4-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/bmdkgxkwl2m0r2xcy9qk12mqgix1r65v-z3-solver-4.8.17-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"93ff48c9be84a76319dac293733df09bbbe3f25c"},"attr_path":"python311Packages.z3-solver"},"last_updated":"2024-12-22T08:27:48Z","outputs":[{"name":"python","path":"/nix/store/3i35cs4l24r0s3wz30l7yf8bg8srzlsx-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/ivmj6v2cl7m20g94swjrlz8yfyxh7576-z3-solver-4.8.17","default":true},{"name":"lib","path":"/nix/store/0v7rvhk8s31dsm13lkbqcghlh5pg6383-z3-solver-4.8.17-lib"},{"name":"dev","path":"/nix/store/b23xl1z8hsaw6rl1pdvfcvrih43f6dsc-z3-solver-4.8.17-dev"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7e4a1594489d41bf8e16046b28e14a0e264c9baa"},"attr_path":"python311Packages.z3-solver"},"last_updated":"2024-12-21T22:31:51Z","outputs":[{"name":"python","path":"/nix/store/gzs826vp8kcjkjic1bjx0sx7y34ny7hd-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/6kc68rw2z1hnj3vj114mfzx5gq8n2van-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/70d2wv2h97i3av64brwinc194bwsfl4d-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/n0np2k0m4f8xa2a78yg7vsk89mwy668k-z3-solver-4.8.17-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"71a6392e367b08525ee710a93af2e80083b5b3e2"},"attr_path":"python311Packages.z3-solver"},"last_updated":"2024-12-13T21:43:23Z","outputs":[{"name":"python","path":"/nix/store/55p4awmmqrkziij1lv69xg77liznlb46-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/mj6ph78jg2f2kbb1ynxssjdq1y2isr1d-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/7l6l422rivfl78j87ihp2i06kd9rci65-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/bh017r12qc2jwqcc4w061y0m5lnqv8m3-z3-solver-4.8.17-lib"}]}}}