{"name":"haskellPackages.z3","version":"408.2","summary":"Bindings for the Z3 Theorem Prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"haskellPackages.z3"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/5qifd8j65jr4b3g6vw3d7kpq0qjk7k7w-z3-408.2","default":true},{"name":"doc","path":"/nix/store/p9r6akhjvjlr4p9n4ah2fjdby0i3p6wv-z3-408.2-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"haskellPackages.z3"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/3brw0jw3scx9ridb1kykabpclkzm2vin-z3-408.2","default":true},{"name":"doc","path":"/nix/store/ar3vf95yk3fnrk0nc53f95l6kbmpy7v1-z3-408.2-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"haskellPackages.z3"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"haskellPackages.z3"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/b6b6wag1f1n4n15q3srgcxhlrq0jnxzx-z3-408.2","default":true},{"name":"doc","path":"/nix/store/3488pwyrh6xq3fp0cijvbpfgm5zpzj24-z3-408.2-doc"}]}}}