nixsearch / pkg / haskellPackages.z3 / 408.2
haskellPackages.z3 408.2
Bindings for the Z3 Theorem Prover
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.z3@408.2
$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#haskellPackages.z3
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.z3
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.z3 |
02f5696b0e60 | out/nix/store/3ppjpx2cci6xkkv0gf0izw6pr4izwq5f-z3-408.2 doc (not default)/nix/store/wv3px5xaz5c3ndlia6lskbmlhwmixn9y-z3-408.2-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.z3 |
02f5696b0e60 | out/nix/store/a9c9kvks8phscdl47422mwghnyyavad4-z3-408.2 doc (not default)/nix/store/kmz3mrm2c41cr5ax2ks9fgji71f1qn9c-z3-408.2-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.z3 |
3d46470bb303 | out/nix/store/3wd9ivfn39g1rn5jl7yp7ia27xh96x11-z3-408.2 doc (not default)/nix/store/spmqfyfxxsdanfwbhlxsyca4lcadwqm3-z3-408.2-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.z3 |
02f5696b0e60 | out/nix/store/dr8kc15g3s5klgmvw1gnk6h309dkjbm1-z3-408.2 doc (not default)/nix/store/bikl16gp70dhpsiz1q1mq8lrb2gs0kwc-z3-408.2-doc |
JSON: /v2/pkg?name=haskellPackages.z3 · /v2/resolve?name=haskellPackages.z3&version=408.2