{"name":"python312Packages.z3-solver","version":"4.15.0","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d202f48f1249f013aa2660c6733e251c85712cbe"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-06-12T07:29:08Z","outputs":[{"name":"python","path":"/nix/store/4xyl176gfal9viw9kkpy55dxg6dybp5l-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/zvy1c7gqwbkr4jz0ry6vbpdzqpb45b5b-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/rj678mn1fjx18kcazzsdklfan1mk0vch-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/rkrlr81wrqanvs6h69w6pqgfvs9ns5vl-z3-4.15.0-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"59138c7667b7970d205d6a05a8bfa2d78caa3643"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-05-31T03:30:20Z","outputs":[{"name":"python","path":"/nix/store/sm5jpqk7kwv5vgr4xn0qlmcafj7q4k48-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/xy3hlqx5xxiki7s3ssinw5hqa1pyjh6q-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/mj0gn659hivchdg56l7l0yfj3qxayfp2-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/5b5zs0aacs7f9hj0gg52yvgj6p660lgw-z3-4.15.0-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"41da1e3ea8e23e094e5e3eeb1e6b830468a7399e"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-06-14T12:19:57Z","outputs":[{"name":"python","path":"/nix/store/fls1kp99a3kmhdl66r22l05pqwr2lczf-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/cn6m96gk7pzx8j20jbidbx2y9hbjdcz8-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/3qhk83y994jrv12fdqy1d0qlpb3va7z5-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/zhjyqp3wkwq6axd9akknkcsmjmzqrzpq-z3-4.15.0-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cdc68935eba9f86d155585fdf6f17af6824f38ac"},"attr_path":"python312Packages.z3-solver"},"last_updated":"2025-06-10T02:39:58Z","outputs":[{"name":"python","path":"/nix/store/rslkdlj8lm4l4b3fgcmfcn7nkhk3rwkb-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/zqmhssdjshgbjqqd1dadcnhj4wm0cjr4-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/y41kxzqz18nyfw40a9sbcv65d41m8wbk-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/v92375kcxc50qzjnxr3ibv0389k79hg8-z3-4.15.0-lib"}]}}}