{"name":"python313Packages.z3-solver","version":"4.15.1","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0d00f23f023b7215b3f1035adb5247c8ec180dbc"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-07-24T23:24:55Z","outputs":[{"name":"python","path":"/nix/store/f0x55237l2cwiaaadizi77sm9x6cn784-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/k99sh82jhp8bvf9xc2h0zbcz5gkpzrx1-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/108d6y8g3dv7pc8sdb4hjp5z9fiz4xbm-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/ca7j91qgclc9p76wl2jrh9hxrlvkiqqi-z3-4.15.1-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2baf8e1658cba84a032c3a8befb1e7b06629242a"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-07-21T09:58:03Z","outputs":[{"name":"python","path":"/nix/store/62yz9ngfjsdys08693c8vdwfxcjkp6pz-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/rgmhrwdjpz6qj1ryf1rc94b7vh0kqb29-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/qvjfm3fwx06547xll3lhqlgqc6rcqw9z-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/yf223vlc4fp9w4cc4fg48f50wb4shhin-z3-4.15.1-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fa0ef8a6bb1651aa26c939aeb51b5f499e86b0ec"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-07-17T10:11:59Z","outputs":[{"name":"python","path":"/nix/store/szcyiwnnal1gnyyrmc3dl6vlivwik22h-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/66217dakf5c9i55jpxgmv8z52win4nyb-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/0grh763bp9j3xpqzsxa6ixrzmjd8nsw5-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/5qvlvkwa089gmc83l9nkdgp2wl3c60v4-z3-4.15.1-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b74a30dbc0a72e20df07d43109339f780b439291"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-07-24T15:00:16Z","outputs":[{"name":"python","path":"/nix/store/nb26rj56mfndxb9m4j2xvm814n88s112-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/l8scbrvzzfd54kpqpw0dwlqwl7fn7918-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/c9za1dmgd3yldk1mbpikkra3hkxgjaki-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/5sx5mldl94hm06hgy88s4im0x857hxhr-z3-4.15.1-lib"}]}}}