{"name":"python313Packages.z3-solver","version":"4.8.17","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2f9e2f85cb14a46410a1399aa9ea7ecf433e422e"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-01-12T04:53:46Z","outputs":[{"name":"python","path":"/nix/store/wbw4vcq3ysdwfd0il9rs3hbd1z980v97-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/pgfikjwh49w58qw1360h3nzlkjdmn7xp-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/5pm3gzf6hfnfh19wgci4gb601y44h27g-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/iah5llnfshvx2d5nryz4zsbj6jxlx49j-z3-solver-4.8.17-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae2fb9f1fb5fcf17fb59f25c2a881c170c501d6f"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-01-15T12:23:19Z","outputs":[{"name":"python","path":"/nix/store/d8gz0kablgv09q2zvxwh3b1j95i8awj6-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/v73s451g3gcci2i9braq8zdmgkvg9bwd-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/6kf1q1dgfyx084ms4vsrz5rbapy0vfwq-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/8hwinmipcm4gw71m47af0cn6pjaw3shn-z3-solver-4.8.17-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"733994ea06585b76621073160e87b0bfac7fc5ae"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-01-14T19:01:50Z","outputs":[{"name":"python","path":"/nix/store/ig7kd8giccf93gnpmdyb4bydp98bs83d-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/p9rhrkfwh8y049a65bj0q9n8hssixg7f-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/vaslna4h32mrv3ir6an0arnp96h1sbzp-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/8wnfxc2x012k9l6qw309x8pqp75zxn0z-z3-solver-4.8.17-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ef56e777fedaa4da8c66a150081523c5de1e0171"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-01-13T08:04:02Z","outputs":[{"name":"python","path":"/nix/store/hm11fs7fng5sqmxr8x9n7z23jgyr9m34-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/hb31zpdp0rhqlmhmlsp01icixxaf59m8-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/vabpbshlqripmx3nns3mx3hpacvh1n58-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/lv88gkh5qbf35xayx31d8bvfkrmwdijh-z3-solver-4.8.17-lib"}]}}}