{"name":"haskellPackages.z3","summary":"Bindings for the Z3 Theorem Prover","description":"","homepage_url":"https://hackage.haskell.org/package/z3","license":"BSD-3-Clause","attribute_paths":["haskellPackages.z3"],"releases":[{"version":"408.2","last_updated":"2026-10-02T22:55:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.z3","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/5qifd8j65jr4b3g6vw3d7kpq0qjk7k7w-z3-408.2","default":true},{"name":"doc","path":"/nix/store/p9r6akhjvjlr4p9n4ah2fjdby0i3p6wv-z3-408.2-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.z3","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/3brw0jw3scx9ridb1kykabpclkzm2vin-z3-408.2","default":true},{"name":"doc","path":"/nix/store/ar3vf95yk3fnrk0nc53f95l6kbmpy7v1-z3-408.2-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.z3","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/3wd9ivfn39g1rn5jl7yp7ia27xh96x11-z3-408.2","default":true},{"name":"doc","path":"/nix/store/spmqfyfxxsdanfwbhlxsyca4lcadwqm3-z3-408.2-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.z3","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/b6b6wag1f1n4n15q3srgcxhlrq0jnxzx-z3-408.2","default":true},{"name":"doc","path":"/nix/store/3488pwyrh6xq3fp0cijvbpfgm5zpzj24-z3-408.2-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}