{"name":"z3_4_12","version":"4.12.1","summary":"A high-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"07059ee2fa34f1598758839b9af87eae7f7ae6ea"},"attr_path":"z3_4_12"},"last_updated":"2023-06-25T14:03:45Z","outputs":[{"name":"out","path":"/nix/store/kg1mvbjcvyr32b2k3zxr56ld4a2zhx7p-z3-4.12.1","default":true},{"name":"lib","path":"/nix/store/zh5d975677zxmvkzpnzk7dp1dmsa76iv-z3-4.12.1-lib"},{"name":"python","path":"/nix/store/mja8a9lv2xhac8p1pxq37zf59m63rrlq-z3-4.12.1-python"},{"name":"dev","path":"/nix/store/8a4iykmhabfgbfjywk7zy1hxc4q6h2pw-z3-4.12.1-dev"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dc2afced518559f1c962b5824599b2c99c7684e3"},"attr_path":"z3_4_12"},"last_updated":"2023-06-25T05:09:47Z","outputs":[{"name":"out","path":"/nix/store/xk923pf2n3ypfv6knsyi4xpzy0qh9ddg-z3-4.12.1","default":true},{"name":"python","path":"/nix/store/h9p1464gv8pj1a0amgg7hy7qp3kr483i-z3-4.12.1-python"},{"name":"dev","path":"/nix/store/m4gkry3iq3kdcvrkjiggmhhfg1v0ggnj-z3-4.12.1-dev"},{"name":"lib","path":"/nix/store/y9v1adfx9sgxmhprh8agivfdsg0klljy-z3-4.12.1-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"07059ee2fa34f1598758839b9af87eae7f7ae6ea"},"attr_path":"z3_4_12"},"last_updated":"2023-06-25T14:03:45Z","outputs":[{"name":"out","path":"/nix/store/49rifbcf7vvr17zzc70hpa3g30b0fcl6-z3-4.12.1","default":true},{"name":"dev","path":"/nix/store/gix5zb4r150d8r796l09qhc2q0jpcs4s-z3-4.12.1-dev"},{"name":"lib","path":"/nix/store/8s14vzsbv2g9516f3l2b34qrvk4slfja-z3-4.12.1-lib"},{"name":"python","path":"/nix/store/v7fmq8xg2ycr0890b24r15qx4cqhfliw-z3-4.12.1-python"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"07059ee2fa34f1598758839b9af87eae7f7ae6ea"},"attr_path":"z3_4_12"},"last_updated":"2023-06-25T14:03:45Z","outputs":[{"name":"out","path":"/nix/store/7aq44vcbga2mmiyzjfchjfn1km6wyn91-z3-4.12.1","default":true},{"name":"dev","path":"/nix/store/k9m4m1g5jfcrizd041c6s6dp08fvjggi-z3-4.12.1-dev"},{"name":"lib","path":"/nix/store/mzh3fpb1l1blfavcib3dahj3wi7ys3jy-z3-4.12.1-lib"},{"name":"python","path":"/nix/store/lzmzgm9cqd0jk0vvkw81i32j3gp81cy0-z3-4.12.1-python"}]}}}