{"name":"python312Packages.z3-solver","summary":"High-performance theorem prover and SMT solver","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["python312Packages.z3-solver"],"releases":[{"version":"4.15.4","last_updated":"2025-12-29T08:23:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"0744ef1b047f07d31d9962d757ffe38ec14a4d41","date":"2025-12-29T08:23:14Z","outputs":[{"name":"python","path":"/nix/store/jwqbkr6ivp2cfd8bp5f3wj0agp9rvgc9-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/1w0qwai2mnfl06qw4lb6az5kamdsfvqq-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/7wgi9a462klsbszhqhyldpc4w47sa815-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/drc05j6000a1hmlg21a5gyy18c4c58rn-z3-4.15.4-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"3edc4a30ed3903fdf6f90c837f961fa6b49582d1","date":"2025-12-27T12:56:01Z","outputs":[{"name":"python","path":"/nix/store/0jw7wrfjh51s107qjbzmgf4rl2d4v0lk-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/sapqgfsdqa2v3xvapnk948ajs5d62rm1-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/bn6l9nnbx08zdhhz1g05dzxshc5mb9lq-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/lq10x6iz5iwic1y1nlbph9m24q3d3g1i-z3-4.15.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"5d6bdbddb4695a62f0d00a3620b37a15275a5093","date":"2025-12-11T04:04:52Z","outputs":[{"name":"python","path":"/nix/store/8ylk1d48yf1wz9mbb2a6x6575grjdl9i-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/xxyvqlgsias0xf3xyc91152v7n3i9flx-z3-4.15.4","default":true},{"name":"dev","path":"/nix/store/1r87vbr42q5z0v4d70s20ccvijfkvfdd-z3-4.15.4-dev"},{"name":"lib","path":"/nix/store/89zq4zy8kp4dli255chqljxs86ng9aqg-z3-4.15.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"0744ef1b047f07d31d9962d757ffe38ec14a4d41","date":"2025-12-29T08:23:14Z","outputs":[{"name":"python","path":"/nix/store/vw2gjam2vf14s05r5g2gka5prpysnd2g-z3-4.15.4-python","default":true},{"name":"out","path":"/nix/store/0ddpi9pg7k8q65j5fa260sjmm8vglrzw-z3-4.15.4","default":true},{"name":"lib","path":"/nix/store/w0spxgwqzmv9q9i4pyqw9ck2qv2crs5m-z3-4.15.4-lib"},{"name":"dev","path":"/nix/store/761b40pia5jn40lwzsp5a18fhhk0jdda-z3-4.15.4-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.3","last_updated":"2025-11-08T12:28:21Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"f6b44b2401525650256b977063dbcf830f762369","date":"2025-11-08T12:28:21Z","outputs":[{"name":"python","path":"/nix/store/s3jy1ivrwfk8cxqfw4h5slxhzjpxxkj7-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/2s14z7sp6vfmgz5xs5517mzffnz6wrvi-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/qf080jvxm9s86w25smlq4rffxcvs65ya-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/0a8jl8l73z49xnbnlibsknrij9pqvg0r-z3-4.15.3-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"45ebaee5d90bab997812235564af4cf5107bde89","date":"2025-10-30T18:40:41Z","outputs":[{"name":"python","path":"/nix/store/q835spl7kdg1hm9zyncvjnhwrw0m7f9y-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/8nlhh0i1kpl2zvpr7wydjaa2lqbi3n27-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/jk5lnwp0b3jl6g3h0ps281ci47ckkr0j-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/b495181s99ilfl2xr2jz4nvwxkrf6ryl-z3-4.15.3-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"45ebaee5d90bab997812235564af4cf5107bde89","date":"2025-10-30T18:40:41Z","outputs":[{"name":"python","path":"/nix/store/820gm1j2n9xxwqvr3c9kzpj3y6n7v91r-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/r62wk5bqkhq1lbg9s7cfyw6wz54yl9yd-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/ay0k07clc71sl16vxjacjylgi0gb4pbg-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/lkgpmymmxx2mii6zc1hbrrj6s8xynncw-z3-4.15.3-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"e1ebeec86b771e9d387dd02d82ffdc77ac753abc","date":"2025-11-07T02:32:13Z","outputs":[{"name":"python","path":"/nix/store/q4kp4n47ifrv19ksb9311lv7z03nq9np-z3-4.15.3-python","default":true},{"name":"out","path":"/nix/store/dp2kiawx30gl48yhj5f304abb941wn0x-z3-4.15.3","default":true},{"name":"dev","path":"/nix/store/xwybi2qmslzsblz0pnxaqbdscz2cc4ri-z3-4.15.3-dev"},{"name":"lib","path":"/nix/store/pqmdspya1fr4m0ivl90vm7pjigk8crdb-z3-4.15.3-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.2","last_updated":"2025-08-12T09:17:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1","date":"2025-08-12T09:17:37Z","outputs":[{"name":"python","path":"/nix/store/vyhrq6x3x99mqbi46rzrf4w3lbl0i05p-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/qa5nkm3c684q6k0ia1y88hhmwcdwqvq2-z3-4.15.2","default":true},{"name":"lib","path":"/nix/store/b756p4xwii8bv9x5k49c9dm0wgssz83i-z3-4.15.2-lib"},{"name":"dev","path":"/nix/store/qlx2rd5b0l42zmj5qylap0dm1gabz0yj-z3-4.15.2-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"641d909c4a7538f1539da9240dedb1755c907e40","date":"2025-08-10T04:38:50Z","outputs":[{"name":"python","path":"/nix/store/njza0qldx9winbvh81racb83h3j9imip-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/dn831hlglw0j0v6jqrdynjqam0n0z6k8-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/vwiwy8bcvm5bsxwn7fmwgqyqkdys0pxn-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/fdkpiapfx443090bxld0asl78bx667cw-z3-4.15.2-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"f86999f8bfef9ff57f7f03c1c5deedc2784fc666","date":"2025-08-09T12:28:43Z","outputs":[{"name":"python","path":"/nix/store/kyzvvm6a0ciw96bb43zgq2gxy3cxx1hy-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/aygfak9id7sffjjnliydcdrd3kk5921l-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/h9sh8by7czyhvsxsli3gh66qfdnrmar5-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/6fng4aj3l5p4laaai57yk5wzhgswzjl1-z3-4.15.2-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1","date":"2025-08-12T09:17:37Z","outputs":[{"name":"python","path":"/nix/store/02mq2aqx4k6glln30d5d2w3sv8v4xvya-z3-4.15.2-python","default":true},{"name":"out","path":"/nix/store/4j20p13xj81kccns6aiyf93qk0i2b86d-z3-4.15.2","default":true},{"name":"dev","path":"/nix/store/8ff3qaafsrpq1agr8y4yirxp70hsdapd-z3-4.15.2-dev"},{"name":"lib","path":"/nix/store/95pmc86wcgqpmkwik504pqg9jk1cz4qd-z3-4.15.2-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.1","last_updated":"2025-07-25T08:26:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"8131c0ea9df6293a247be743a387ff725e464db7","date":"2025-07-18T12:29:53Z","outputs":[{"name":"python","path":"/nix/store/vfx0nmjnmq4id0kp5ch58dryvr9vqh7s-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/6pw1s6710zgvvml722m0s4yz71hgfv6l-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/8q87izhn1p1x0q2icyymgh7h1pf0gi7l-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/sywi619ndz07w8d3lcza1j1k1i36hihz-z3-4.15.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"7c688a0875df5a8c28a53fb55ae45e94eae0dddb","date":"2025-07-20T07:42:04Z","outputs":[{"name":"python","path":"/nix/store/ryci1dyi9g7cakhzk69gz9d92hy29bix-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/k0vnqsy62sli2jck1zvj9sslfy465f5x-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/8j7lh5asr86v7ky3nlhx88fj5sx8ss5m-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/sn88qgj48rnga189v464l3zzf6bxyvzc-z3-4.15.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"python","path":"/nix/store/gvbxar5ygbb32bi8s7m12qd03ari5dpv-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/l8i54qjal9cgxlq1csf4rhdlz60s4sq2-z3-4.15.1","default":true},{"name":"dev","path":"/nix/store/y7k2dd3lpv6y99ysiapymcjp5diira3g-z3-4.15.1-dev"},{"name":"lib","path":"/nix/store/3k68lipd17nmkz974ki9kmrz98p6pnxi-z3-4.15.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"6027c30c8e9810896b92429f0092f624f7b1aace","date":"2025-07-25T08:26:56Z","outputs":[{"name":"python","path":"/nix/store/rfmf6wbi1drwr4ajcjxwd9b9lw6qqbx3-z3-4.15.1-python","default":true},{"name":"out","path":"/nix/store/f6a05v58i6hg7s5lb99xy7i7hf9mk72b-z3-4.15.1","default":true},{"name":"lib","path":"/nix/store/iyq12zqfzznlrlr6f6irvyhw70ilgmrd-z3-4.15.1-lib"},{"name":"dev","path":"/nix/store/f4aagf2dy7q6g9b52fawxdi7fcy36zx4-z3-4.15.1-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.0","last_updated":"2025-06-14T12:19:57Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"d202f48f1249f013aa2660c6733e251c85712cbe","date":"2025-06-12T07:29:08Z","outputs":[{"name":"python","path":"/nix/store/4xyl176gfal9viw9kkpy55dxg6dybp5l-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/zvy1c7gqwbkr4jz0ry6vbpdzqpb45b5b-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/rj678mn1fjx18kcazzsdklfan1mk0vch-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/rkrlr81wrqanvs6h69w6pqgfvs9ns5vl-z3-4.15.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"59138c7667b7970d205d6a05a8bfa2d78caa3643","date":"2025-05-31T03:30:20Z","outputs":[{"name":"python","path":"/nix/store/sm5jpqk7kwv5vgr4xn0qlmcafj7q4k48-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/xy3hlqx5xxiki7s3ssinw5hqa1pyjh6q-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/mj0gn659hivchdg56l7l0yfj3qxayfp2-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/5b5zs0aacs7f9hj0gg52yvgj6p660lgw-z3-4.15.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"41da1e3ea8e23e094e5e3eeb1e6b830468a7399e","date":"2025-06-14T12:19:57Z","outputs":[{"name":"python","path":"/nix/store/fls1kp99a3kmhdl66r22l05pqwr2lczf-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/cn6m96gk7pzx8j20jbidbx2y9hbjdcz8-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/3qhk83y994jrv12fdqy1d0qlpb3va7z5-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/zhjyqp3wkwq6axd9akknkcsmjmzqrzpq-z3-4.15.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"cdc68935eba9f86d155585fdf6f17af6824f38ac","date":"2025-06-10T02:39:58Z","outputs":[{"name":"python","path":"/nix/store/rslkdlj8lm4l4b3fgcmfcn7nkhk3rwkb-z3-4.15.0-python","default":true},{"name":"out","path":"/nix/store/zqmhssdjshgbjqqd1dadcnhj4wm0cjr4-z3-4.15.0","default":true},{"name":"dev","path":"/nix/store/y41kxzqz18nyfw40a9sbcv65d41m8wbk-z3-4.15.0-dev"},{"name":"lib","path":"/nix/store/v92375kcxc50qzjnxr3ibv0389k79hg8-z3-4.15.0-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.14.1","last_updated":"2025-05-19T23:16:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"8406224e30c258025cb8b31704bdb977a8f1f009","date":"2025-05-18T01:51:26Z","outputs":[{"name":"python","path":"/nix/store/lsp8wa2aq42mm6h5zwg8kszyvwcwwzfx-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/l776nr8jwggqb7h172jz9p4816y3r06w-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/kci2wvw853b0bc8bpv2xxgs9f87p6ald-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/cd2ii4q155q6pd2jkrf02vwr78hzlsgl-z3-4.14.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"python","path":"/nix/store/y2izycbfv11576lg4rvipdki8vpn0cg4-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/xs69rjj7z3d6vvdhr2p52k7fvnhx90ri-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/saa022jbl0l2l3ziha128n21qj5lyf8f-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/zki09dlfvrdpnq7w4jnj1m15jksf2iq9-z3-4.14.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"python","path":"/nix/store/rhhh8pqir91j0lv2ygm1f2bgvbwrz41p-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/xq50d24c6ncmr8pih7ghjgqkz5qgzf85-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/qc3vwxd4vz5yvhjrwn0lhvq7rjp5nqgc-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/cypwi18xk0cv0bdsmzisr1c52m179iq7-z3-4.14.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"359c442b7d1f6229c1dc978116d32d6c07fe8440","date":"2025-05-19T23:16:24Z","outputs":[{"name":"python","path":"/nix/store/563m9c72b7gbcyin2h31bfs20ky00cgz-z3-4.14.1-python","default":true},{"name":"out","path":"/nix/store/kib2kcz9gss2rzh5mdmx58cwkj18kc64-z3-4.14.1","default":true},{"name":"dev","path":"/nix/store/cygziaavfajj7dhkqw4y0vc74d3xsiy7-z3-4.14.1-dev"},{"name":"lib","path":"/nix/store/viy5m05f1i6yl09c666ycbg538wg2r0s-z3-4.14.1-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.13.4","last_updated":"2025-04-23T03:04:08Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/yxdg8m2ljnzv7m5s6qm8w4b4d1vd9smh-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/aghwdwa1jfzmgyzks5vj5v9cip9cjsfs-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/qbh633fklfjwrk5bh6nafl75yv4gcz4h-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/28ry77smv75p3q06adp92grbxczj1yi5-z3-solver-4.13.4-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"507b63021ada5fee621b6ca371c4fca9ca46f52c","date":"2025-04-23T03:04:08Z","outputs":[{"name":"python","path":"/nix/store/ixf90as6nxarf1qg1vk7bhfdbqxbdb8v-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/x14zwxr9aifbvrf2f0nq5bwlkfsybpwh-z3-solver-4.13.4","default":true},{"name":"lib","path":"/nix/store/q14xqgcz58bg8n5hj5fyyvsz0p86r9qs-z3-solver-4.13.4-lib"},{"name":"dev","path":"/nix/store/n6lpva2psz55mm28bj4lah4mcwmwbmlm-z3-solver-4.13.4-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/jzmik45whyiprv0g7m5iynrkwsq09m4p-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/mfpcm22wd9jr050i0sjymf5rx441pz66-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/yj5lv7kg9mv0jyv6r4lx32df2nihnhh1-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/p22fzshd91viannr3yarwjbfjffpym8g-z3-solver-4.13.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"python","path":"/nix/store/zwxs376lavlv0g2s7wq4j53fhc39q6s1-z3-solver-4.13.4-python","default":true},{"name":"out","path":"/nix/store/sx185h1zr8r6nhgsi23vc5gsxz63inf9-z3-solver-4.13.4","default":true},{"name":"dev","path":"/nix/store/hb2khkwgn7ks843kiaaz7y9ah26sfssv-z3-solver-4.13.4-dev"},{"name":"lib","path":"/nix/store/6zyjb30lic4lzrf5cix7kxmykhdfzj8c-z3-solver-4.13.4-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.17","last_updated":"2025-01-16T05:04:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713","date":"2025-01-16T05:04:52Z","outputs":[{"name":"python","path":"/nix/store/lsxlpn16n23qn0k42hcmz418qan74mr1-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/0nn4yav67pc6dir9dsz5gi87fbqhqpxq-z3-solver-4.8.17","default":true},{"name":"lib","path":"/nix/store/kv80815qdjv1w0raa6lxhmz3whh00hb4-z3-solver-4.8.17-lib"},{"name":"dev","path":"/nix/store/w2dj8228mfvb40ly1mrpss68bhcy7y99-z3-solver-4.8.17-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"ae06b9c2d83cb5c8b12d7d0e32692e93d1379713","date":"2025-01-16T05:04:52Z","outputs":[{"name":"python","path":"/nix/store/hiwg8ywp5n5ywgnf2sap33klm2nji7zy-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/ii03qcz2d6g49v0576h9864vs46vz31v-z3-solver-4.8.17","default":true},{"name":"lib","path":"/nix/store/7l0fl8wy0hc0iw033jnjj23awqrqf7x7-z3-solver-4.8.17-lib"},{"name":"dev","path":"/nix/store/nb8p64psf4k737518zv6hc1k5pn3rsx9-z3-solver-4.8.17-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.z3-solver","commit_hash":"ef56e777fedaa4da8c66a150081523c5de1e0171","date":"2025-01-13T08:04:02Z","outputs":[{"name":"python","path":"/nix/store/wpzcx52iwivyi3ly0spdw2pw8jsh42zi-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/ksbjdbq688169fcg64h7mknf8mwy5bg0-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/kikciy3kwzqa6hskz735pqxvixv4ibva-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/5dr7g1wrvawnifhmc9pcrnvliliby10c-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.z3-solver","commit_hash":"590cc22eefd616c8f90608870d28afe25d37e8b8","date":"2025-01-11T15:21:40Z","outputs":[{"name":"python","path":"/nix/store/b0rq9qys3in9r0cgzk8h6k7174r6b2ab-z3-solver-4.8.17-python","default":true},{"name":"out","path":"/nix/store/h5iq8v5jqx1gwhf0pinprm1pih5yssvc-z3-solver-4.8.17","default":true},{"name":"dev","path":"/nix/store/wgn2kaawkk6a8rbqpyacvf3d6lxzcl84-z3-solver-4.8.17-dev"},{"name":"lib","path":"/nix/store/7j1ax4wrmxkwjgm0gasnb93w7c26dhjw-z3-solver-4.8.17-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, python, dev, lib","prerelease":false,"broken":false,"insecure":false}]}