{"name":"z3_4_8","summary":"High-performance theorem prover and SMT solver","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["z3_4_8"],"releases":[{"version":"4.8.17","last_updated":"2025-04-23T03:04:08Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3_4_8","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3_4_8","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3_4_8","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3_4_8","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.15","last_updated":"2023-02-24T09:01:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3_4_8","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3_4_8","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3_4_8","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}