{"name":"z3_4_12","version":"4.12.6","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"z3_4_12"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/wdblaxycpjb8z1vvw2wkfajvjgvzwvsw-z3-4.12.6","default":true},{"name":"dev","path":"/nix/store/s0na8ybm3xwn5alls2j8m5wkk3akb8qk-z3-4.12.6-dev"},{"name":"lib","path":"/nix/store/z4q86skdzkasnnsy1kqcaxjrdiyabjkj-z3-4.12.6-lib"},{"name":"python","path":"/nix/store/22wv9liijww83sgrxvrwzwg2p9viwsmv-z3-4.12.6-python"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"z3_4_12"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/y4zvyhs0m388dibjh8qci0z3yhf9bagz-z3-4.12.6","default":true},{"name":"python","path":"/nix/store/304pr9sbr3h3qc7g707q3mw4ysanwljq-z3-4.12.6-python"},{"name":"dev","path":"/nix/store/hcjki21c3jn955vwpwqi03ns8spn2g7b-z3-4.12.6-dev"},{"name":"lib","path":"/nix/store/8394b82n15vl5fwdqjizp7ng7mxaszfb-z3-4.12.6-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"z3_4_12"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/if8p46in6dmznzfhk0rxjcwy7adlgh3w-z3-4.12.6","default":true},{"name":"python","path":"/nix/store/h2kyrf2bx4m7hzx6r9628zks7nnv9ip0-z3-4.12.6-python"},{"name":"dev","path":"/nix/store/4pr1m428pwndfpyzvrnbvhgj7fmbhdrg-z3-4.12.6-dev"},{"name":"lib","path":"/nix/store/9v89nkp66aflq57pdhqc6xj7dqc81fpp-z3-4.12.6-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"z3_4_12"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/kkgnw5yhyx815a66fgq68wpqyvb2nsbq-z3-4.12.6","default":true},{"name":"lib","path":"/nix/store/2wbj4gxrxi48b3qnzdh6g6r2csk30igb-z3-4.12.6-lib"},{"name":"python","path":"/nix/store/7rz4j23gms4gd8wa96jpxb6i1by0rm53-z3-4.12.6-python"},{"name":"dev","path":"/nix/store/b3nslnq7ldcz3wnzb3m83yb658jsdylp-z3-4.12.6-dev"}]}}}