{"name":"python313Packages.z3-solver","version":"4.15.2","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9585e9192aadc13ec3e49f33f8333bd3cda524df"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-08-11T07:05:29Z","outputs":[{"name":"python","path":"/nix/store/cbzbi66xxmrfllccgkyvarsm0arg3y3p-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/2yjhz5h1g7bad5kp6vgk537glb0j1ah8-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/fzzss82dmv5r3qx19dcgsr5r2z35h7kr-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/gyb628s4kbjivha5jz9gba89g5pd09pv-z3-4.15.2-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"641d909c4a7538f1539da9240dedb1755c907e40"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-08-10T04:38:50Z","outputs":[{"name":"python","path":"/nix/store/h7dip84zfbvxdmw9y8g2pxcjikw7yk1g-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/x0f2nkmqz41042g2yv32fnac30c29fzz-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/kvj828y1qwc3is62s58zf21bzcghwinj-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/ladlpkj3rhiy73fvd0d8kcfzz564n19q-z3-4.15.2-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-08-12T09:17:37Z","outputs":[{"name":"python","path":"/nix/store/mwpvi2gwqvfv91k0dqmax8qp7h4cz9h7-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/vn03g9lyk6s11kb1bi9pmgjw7h06xnj9-z3-4.15.2","default":true},{"name":"lib","path":"/nix/store/g7a4hfwfg9qn50mb229qk0xfw0mkncdr-z3-4.15.2-lib"},{"name":"dev","path":"/nix/store/mvzw8d5v52ydra7pbm9c5apq0jw1y8dz-z3-4.15.2-dev"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"641d909c4a7538f1539da9240dedb1755c907e40"},"attr_path":"python313Packages.z3-solver"},"last_updated":"2025-08-10T04:38:50Z","outputs":[{"name":"python","path":"/nix/store/jn2s8n53kxy9zjxh0vnda7l215w8g95x-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/5ic22qpb2f7idlspzimq4ddl1y1x5nsf-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/2r19g96hgqk8igbn8liicwciqjs56v1q-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/6xcw6hz1as8rcd1yf9q6b1d7h5136d3h-z3-4.15.2-lib"}]}}}