{"name":"python313Packages.z3-solver","version":"4.15.4","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c05d2232d2feaa4c7a07f1168606917402868195"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-02-11T03:47:03Z","outputs":[{"name":"python","path":"/nix/store/r7d7i0hccf41mj5w2vhl0j0mdg281hih-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/ldhbqcmxxiha3pkjxvxg9bsr36lmj0zr-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/2c10jdbzwsqxk1lylfc1k9br8x4n57c3-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/dssh3nvnrvdrw0k2jrk7i5axc1kwarvy-z3-4.15.4-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2343bbb58f99267223bc2aac4fc9ea301a155a16"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-02-11T21:01:36Z","outputs":[{"name":"python","path":"/nix/store/0j9qddijwh2v7minff1n8llx6nhnx2r2-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/0hfrxxpqc10pqg7si16dysipywqsaj3j-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/qc9bhzjw3hpb0pn8yscv8hlziw90qmjg-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/vcmwkqa8g69m8vmxzdpcqjsrcq0v1lpy-z3-4.15.4-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2343bbb58f99267223bc2aac4fc9ea301a155a16"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-02-11T21:01:36Z","outputs":[{"name":"python","path":"/nix/store/kfyn268cm365px2fi407ws7l4s3qw9w4-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/bcy1z4mq3a4amv69hmagfq3cb0w3rvjf-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/4lrsmffb3yiv7hrdaavhc84x0v3jbd2g-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/1a4bhk0ymj9pb8zd948jn0zjqil8drp5-z3-4.15.4-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2026-02-06T12:24:04Z","outputs":[{"name":"python","path":"/nix/store/hd4r00sfqin8rj6rhh5ab20wl14hfxss-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/2ahmfp6762zn0xv75yc5avlx936nd0gk-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/8hb93w1bab9svr3ryjli2g7v0qrx72vr-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/w9xijwv674ij01nhlp9vxn54l8f38i9k-z3-4.15.4-lib"}]}}}