{"name":"z3_4_12","version":"4.12.5","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713"},"attr_path":"z3_4_12"},"last_updated":"2025-01-16T05:04:52Z","outputs":[{"name":"out","path":"/nix/store/fij0rlm3c4ip1ycfc1148lss0v02llfp-z3-4.12.5","default":true},{"name":"python","path":"/nix/store/141ihc9nn2xxs2l3l9lrnj0yll8j2msf-z3-4.12.5-python"},{"name":"dev","path":"/nix/store/ndl036bnmwhimysd4kdcbi46nia0k403-z3-4.12.5-dev"},{"name":"lib","path":"/nix/store/ayhy4ipay8r1plrzjjn3xw5q5673l9ry-z3-4.12.5-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713"},"attr_path":"z3_4_12"},"last_updated":"2025-01-16T05:04:52Z","outputs":[{"name":"out","path":"/nix/store/zlxi0q5w8rsdlbfiiq58qf6kyp9x8gbp-z3-4.12.5","default":true},{"name":"python","path":"/nix/store/22xyidjhrbg23fgvqbggi3yv59s17si1-z3-4.12.5-python"},{"name":"dev","path":"/nix/store/ns5j6i54dgx43r6ngfs30v9rirlp995h-z3-4.12.5-dev"},{"name":"lib","path":"/nix/store/3rzgbin24banxrppkg0zr6x5alp6ll94-z3-4.12.5-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713"},"attr_path":"z3_4_12"},"last_updated":"2025-01-16T05:04:52Z","outputs":[{"name":"out","path":"/nix/store/p84pyaigh2wpbrb196nxic9hss29mcij-z3-4.12.5","default":true},{"name":"lib","path":"/nix/store/6awqj0ibvnjfsagnrln6lvnn988afv4w-z3-4.12.5-lib"},{"name":"python","path":"/nix/store/pz6s6sgaxvalj384g1gdr10qymxxh0s5-z3-4.12.5-python"},{"name":"dev","path":"/nix/store/5yy25ndvnxh1qij810ihckfy3qzmfb9g-z3-4.12.5-dev"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713"},"attr_path":"z3_4_12"},"last_updated":"2025-01-16T05:04:52Z","outputs":[{"name":"out","path":"/nix/store/bi0y7m1blm5gkg8p9jhmaxmn6ivrbkji-z3-4.12.5","default":true},{"name":"lib","path":"/nix/store/apd1cdr19vw8z1zb9z1yaw8cy43hhx7y-z3-4.12.5-lib"},{"name":"python","path":"/nix/store/83s99hxg26va643lifimvcn71sk5rqqq-z3-4.12.5-python"},{"name":"dev","path":"/nix/store/ckzwbmyw4glmz5y9wqv9wi6facc0rl9c-z3-4.12.5-dev"}]}}}