{"name":"z3","version":"4.14.1","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8c441601c43232976179eac52dde704c8bdf81ed"},"attr_path":"z3"},"last_updated":"2025-05-21T18:43:04Z","outputs":[{"name":"out","path":"/nix/store/l776nr8jwggqb7h172jz9p4816y3r06w-z3-4.14.1","default":true},{"name":"python","path":"/nix/store/lsp8wa2aq42mm6h5zwg8kszyvwcwwzfx-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/kci2wvw853b0bc8bpv2xxgs9f87p6ald-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/cd2ii4q155q6pd2jkrf02vwr78hzlsgl-z3-4.14.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8c441601c43232976179eac52dde704c8bdf81ed"},"attr_path":"z3"},"last_updated":"2025-05-21T18:43:04Z","outputs":[{"name":"out","path":"/nix/store/xs69rjj7z3d6vvdhr2p52k7fvnhx90ri-z3-4.14.1","default":true},{"name":"python","path":"/nix/store/y2izycbfv11576lg4rvipdki8vpn0cg4-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/saa022jbl0l2l3ziha128n21qj5lyf8f-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/zki09dlfvrdpnq7w4jnj1m15jksf2iq9-z3-4.14.1-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2f9173bde1d3fbf1ad26ff6d52f952f9e9da52ea"},"attr_path":"z3"},"last_updated":"2025-05-20T08:00:33Z","outputs":[{"name":"out","path":"/nix/store/xq50d24c6ncmr8pih7ghjgqkz5qgzf85-z3-4.14.1","default":true},{"name":"python","path":"/nix/store/rhhh8pqir91j0lv2ygm1f2bgvbwrz41p-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/qc3vwxd4vz5yvhjrwn0lhvq7rjp5nqgc-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/cypwi18xk0cv0bdsmzisr1c52m179iq7-z3-4.14.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a16efe5d2fc7455d7328a01f4692bfec152965b3"},"attr_path":"z3"},"last_updated":"2025-05-22T03:53:02Z","outputs":[{"name":"out","path":"/nix/store/kib2kcz9gss2rzh5mdmx58cwkj18kc64-z3-4.14.1","default":true},{"name":"lib","path":"/nix/store/viy5m05f1i6yl09c666ycbg538wg2r0s-z3-4.14.1-lib"},{"name":"python","path":"/nix/store/563m9c72b7gbcyin2h31bfs20ky00cgz-z3-4.14.1-python"},{"name":"dev","path":"/nix/store/cygziaavfajj7dhkqw4y0vc74d3xsiy7-z3-4.14.1-dev"}]}}}