{"name":"z3_4_12","version":"4.12.4","summary":"A high-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"269ce7215bb5b436546786e8d354d37903e102a8"},"attr_path":"z3_4_12"},"last_updated":"2024-01-31T11:44:42Z","outputs":[{"name":"out","path":"/nix/store/p5x6c7bd3qzsncb4kbzkqlb9y4wxnkbv-z3-4.12.4","default":true},{"name":"lib","path":"/nix/store/yjr64x9nmm9d9j9ydbvicgxiq8jnhrb1-z3-4.12.4-lib"},{"name":"python","path":"/nix/store/4c7vb7yhwb5fq938llm4zb6ww2a7kghy-z3-4.12.4-python"},{"name":"dev","path":"/nix/store/3k9h4hgldwcra0s1w5l76r0fdnliil9i-z3-4.12.4-dev"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"269ce7215bb5b436546786e8d354d37903e102a8"},"attr_path":"z3_4_12"},"last_updated":"2024-01-31T11:44:42Z","outputs":[{"name":"out","path":"/nix/store/xd645rrvzlrx42byq30nq1qjssbpsdi9-z3-4.12.4","default":true},{"name":"python","path":"/nix/store/kjy33wc4ylj5500z8mgd7an6yv93zbqk-z3-4.12.4-python"},{"name":"dev","path":"/nix/store/y7wsnidkm5mql55yza7yqbcahbmh09bk-z3-4.12.4-dev"},{"name":"lib","path":"/nix/store/wi515gyidgnrvq3p56rpw0v8ck2nk3m0-z3-4.12.4-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"269ce7215bb5b436546786e8d354d37903e102a8"},"attr_path":"z3_4_12"},"last_updated":"2024-01-31T11:44:42Z","outputs":[{"name":"out","path":"/nix/store/8cni3bv7xfsplsc9gppwjgd6p0cs9a18-z3-4.12.4","default":true},{"name":"python","path":"/nix/store/s7cyblz5qxf7lknlf791kgziwy4c22kn-z3-4.12.4-python"},{"name":"dev","path":"/nix/store/llynk543ijy4xqmbcj10wlvl4h83b05f-z3-4.12.4-dev"},{"name":"lib","path":"/nix/store/x590f75mswjyqgn83cnxy9ln2nylg2r8-z3-4.12.4-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ad9903c16126a7d949101687af0aa589b1d7d3d"},"attr_path":"z3_4_12"},"last_updated":"2024-01-31T06:48:05Z","outputs":[{"name":"out","path":"/nix/store/19m44cx3q963bzcymjhyhyv19p01hhqw-z3-4.12.4","default":true},{"name":"python","path":"/nix/store/9nq9cf19fb9hnzyzng54gxbi2sw693a5-z3-4.12.4-python"},{"name":"dev","path":"/nix/store/f2m9lls4cnqh07s1flbq56hbhbx8zbvw-z3-4.12.4-dev"},{"name":"lib","path":"/nix/store/7hpiiv6y8wk4sx94mbvrkg5174zky2kc-z3-4.12.4-lib"}]}}}