{"name":"python313Packages.z3-solver","version":"4.15.7","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"python","path":"/nix/store/9njvv67a8np9qzn1klxd5lgz18iyndil-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/dw3wlnybydkgw3yacqa3qmc31ha2ixhf-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/pzw4pxyy6llawr3dd96rl24bni9av23k-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/qknpxiz7agc5l7kvl5859a0ikgjpry0a-z3-4.15.7-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"724cf38d99ba81fbb4a347081db93e2e3a9bc2ae"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-02-19T06:30:45Z","outputs":[{"name":"python","path":"/nix/store/nc6n2w3bc6qrs87j7v7b6kd480jcfwvp-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/8r7lwxbz3lfgd71x8gzm8nfbzl26pa5n-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/77v8w1l706hwf10liid8mmfwnarvwjb7-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/j37yngfg30b5brmipllc59v50ya05hl2-z3-4.15.7-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d1c15b7d5806069da59e819999d70e1cec0760bf"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-02-16T02:09:13Z","outputs":[{"name":"python","path":"/nix/store/kh5c14hip26yg99j62rfw4d8nhk4sp05-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/rgq4vqdqcynsc0q9a5inqnhjpcs3blfq-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/widk1cdcbyh7xw0zhqvr374a69gqdgpy-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/w5ywv2bb4ml2lsr9ikgwk3vkrg6330x9-z3-4.15.7-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d1c15b7d5806069da59e819999d70e1cec0760bf"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-02-16T02:09:13Z","outputs":[{"name":"python","path":"/nix/store/x7vdl7baj07w0nry08q0qfhqr0wsdr01-z3-4.15.7-python","default":true},{"name":"out","path":"/nix/store/8gk1fj1gpsn4r9dlvvr52r8z711lrq5j-z3-4.15.7","default":true},{"name":"dev","path":"/nix/store/7bayk77cyzaa14yr97kay4v2k48s6mgh-z3-4.15.7-dev"},{"name":"lib","path":"/nix/store/nqxm0cglnwkx0kb37hsyw2rdnr01g7f4-z3-4.15.7-lib"}]}}}