{"name":"z3_4_12","version":"4.12.2","summary":"A high-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d6863cbcbbb80e71cecfc03356db1cda38919523"},"attr_path":"z3_4_12"},"last_updated":"2023-12-21T04:58:04Z","outputs":[{"name":"out","path":"/nix/store/lypg2yx1hy8xjkvcaxrg9s8j3i32p4sx-z3-4.12.2","default":true},{"name":"dev","path":"/nix/store/2xj5swdnwxrr0xd1fxckllyxykj09gi1-z3-4.12.2-dev"},{"name":"lib","path":"/nix/store/ckwcq5jr0kmsgrh1azl2i07w714h552c-z3-4.12.2-lib"},{"name":"python","path":"/nix/store/hn0mlnkkqkn77r7ncpcw4hbnr794fiky-z3-4.12.2-python"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"69973a9a20858b467dd936542c63554f3675e02d"},"attr_path":"z3_4_12"},"last_updated":"2023-12-20T12:30:24Z","outputs":[{"name":"out","path":"/nix/store/z9c0ysqvys99g30si18jwmpscp053b0m-z3-4.12.2","default":true},{"name":"dev","path":"/nix/store/8nz21pz3ashy29c5pkpzalcz018b7x8f-z3-4.12.2-dev"},{"name":"lib","path":"/nix/store/7g7b0d9kralvzr1dacrirp5v64im5qqj-z3-4.12.2-lib"},{"name":"python","path":"/nix/store/fdddca6rv16l188mnmpsxznysh3r7yi7-z3-4.12.2-python"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7"},"attr_path":"z3_4_12"},"last_updated":"2023-12-31T07:44:09Z","outputs":[{"name":"out","path":"/nix/store/rsd3yawxqpy5q8pizddxgwrnqd2hbzfi-z3-4.12.2","default":true},{"name":"python","path":"/nix/store/mkz43xjf16byiaq6isidwbyvx4y6khbj-z3-4.12.2-python"},{"name":"dev","path":"/nix/store/mg45bdcxcyxzz9azsn2mch135f9grs8c-z3-4.12.2-dev"},{"name":"lib","path":"/nix/store/q6fjb9zwcsm508z2b4p8pgysw0px5maq-z3-4.12.2-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e1fa12d4f6c6fe19ccb59cac54b5b3f25e160870"},"attr_path":"z3_4_12"},"last_updated":"2023-12-25T10:13:25Z","outputs":[{"name":"out","path":"/nix/store/8ncixal8mma49mqzl974z74nzbh6fh95-z3-4.12.2","default":true},{"name":"python","path":"/nix/store/23qnmpjksvs85ffdfq44cvw1q525x3ik-z3-4.12.2-python"},{"name":"dev","path":"/nix/store/36jxw6m7an5hrz2ja80r2yzjxnkzrg1v-z3-4.12.2-dev"},{"name":"lib","path":"/nix/store/qycwacqnqqp1sh21702rdy0lkpg1lsm3-z3-4.12.2-lib"}]}}}