{"name":"z3_4_8","version":"4.8.17","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"z3_4_8"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/3j46npd4llbd1inqlmwcjpjijvmcyxlm-z3-4.8.17","default":true},{"name":"dev","path":"/nix/store/22k67nqc6qjz38higc1ns4hk0x37lf2g-z3-4.8.17-dev"},{"name":"lib","path":"/nix/store/zbs1g3njf17x2418g1ck4xizjpm3avmf-z3-4.8.17-lib"},{"name":"python","path":"/nix/store/d4kd712bm4l1ra4grq9haf5bdwnki7gv-z3-4.8.17-python"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"z3_4_8"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/456f0661wid35adxnyq5g3kws5wa1b36-z3-4.8.17","default":true},{"name":"dev","path":"/nix/store/xmhlrg54v5zgqvrnd18bxdsa2gfc664p-z3-4.8.17-dev"},{"name":"lib","path":"/nix/store/ii97mif77f36qk4m6d6bsqkfcdil2jjr-z3-4.8.17-lib"},{"name":"python","path":"/nix/store/z8rbxc5agpwr3wnd1xjij91p9h9s9sm6-z3-4.8.17-python"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"z3_4_8"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/81gqrqdb1ajf7qapg2sirn67nnb0zrpl-z3-4.8.17","default":true},{"name":"dev","path":"/nix/store/9fpb32lpsgyb1rcb0baqk0d8dqh878in-z3-4.8.17-dev"},{"name":"lib","path":"/nix/store/4aaymkvpvdkn00jr8hm1kz5lj73q4zbx-z3-4.8.17-lib"},{"name":"python","path":"/nix/store/421xy2i7gigfnmwb2528ccj3ahcnzf1j-z3-4.8.17-python"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"507b63021ada5fee621b6ca371c4fca9ca46f52c"},"attr_path":"z3_4_8"},"last_updated":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/fvhcgism3xrafmh7njk1j7w7a5ipnmpp-z3-4.8.17","default":true},{"name":"python","path":"/nix/store/8gpyqa4177d3dxpcahm3krnmr87xqhqn-z3-4.8.17-python"},{"name":"dev","path":"/nix/store/d76jmc5g2hq1i1myflicwal2b0rbrc42-z3-4.8.17-dev"},{"name":"lib","path":"/nix/store/7x2gkq0mgc7gzwlq1as8i7809s50mjk9-z3-4.8.17-lib"}]}}}