{"name":"z3_4_8_5","summary":"High-performance theorem prover and SMT solver","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["z3_4_8_5"],"releases":[{"version":"4.8.5","last_updated":"2025-04-23T03:04:08Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3_4_8_5","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/5871z1rby0z7vlkr1ms11ysgw6dp2jwl-z3-4.8.5","default":true},{"name":"python","path":"/nix/store/nfx7nna5g4r456367nz8g971bb0062pr-z3-4.8.5-python"},{"name":"dev","path":"/nix/store/cgrfizisj2zz7m1lz8vwc2wby9abn8dr-z3-4.8.5-dev"},{"name":"lib","path":"/nix/store/apndkngj5a8vvppp9bvc56m8ynk38zpd-z3-4.8.5-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3_4_8_5","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/5yvxqj11f8k7w2k1zng80va4vr8x0m5n-z3-4.8.5","default":true},{"name":"dev","path":"/nix/store/wfgh829kncxs54pqviccs6j0akgs4q3h-z3-4.8.5-dev"},{"name":"lib","path":"/nix/store/b7s19vclr4x81gpn70gsnh0dir4wizsm-z3-4.8.5-lib"},{"name":"python","path":"/nix/store/ylb5ryh7c26bi0hvj0vr741jzck1rky5-z3-4.8.5-python"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3_4_8_5","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/9gwhahil4f2jzs11m8c9kgdpf5yv7k27-z3-4.8.5","default":true},{"name":"lib","path":"/nix/store/kxs29ky1c2sjv93nvmavcdjg37lvqhjh-z3-4.8.5-lib"},{"name":"python","path":"/nix/store/x90c7lbdx32dfbsm2f88cz87lmzq0nwf-z3-4.8.5-python"},{"name":"dev","path":"/nix/store/z2ls4ci2alvyiijl1crrlz1p7a97qlwk-z3-4.8.5-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3_4_8_5","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"out","path":"/nix/store/sar0bynhb5kxrib72aw26nzy0d0v2aqk-z3-4.8.5","default":true},{"name":"python","path":"/nix/store/jd0l8f5c68mdi9la3744b2hjkcgva0nh-z3-4.8.5-python"},{"name":"dev","path":"/nix/store/0ganngks58xg5c8wmkbcb8g3wisa1das-z3-4.8.5-dev"},{"name":"lib","path":"/nix/store/818m2g4amwg8x4fcr11ggmls8ihw3kqc-z3-4.8.5-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib, python","prerelease":false,"broken":false,"insecure":false}]}