nixsearch / pkg / haskellPackages.what4_1_7 / 1.7
haskellPackages.what4_1_7 1.7
Solver-agnostic symbolic values support for issuing queries
Linux and macOS
last changed
outputs: out, data, doc
Pin this version
$ devbox add haskellPackages.what4_1_7@1.7
$ nix shell github:NixOS/nixpkgs/0744ef1b047f07d31d9962d757ffe38ec14a4d41#haskellPackages.what4_1_7
$ nix shell github:NixOS/nixpkgs/346dd96ad74dc4457a9db9de4f4f57dab2e5731d#haskellPackages.what4_1_7
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.what4_1_7 |
0744ef1b047f | out/nix/store/aqb98bhqayp7zv3j5f0xvvwx44r3sg9a-what4-1.7 data (not default)/nix/store/nxqjcaqy1jnr3znyjw08fydf62w8jxy3-what4-1.7-data doc (not default)/nix/store/7mpk1jc58i4ybczqqd2v2vqic0p4k2xn-what4-1.7-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.what4_1_7 |
346dd96ad74d | out/nix/store/zjri1p2jzkfzjlw5y2zadvwhdmv18r5k-what4-1.7 doc (not default)/nix/store/bl7ha0nmzzrxv5birz08i9qyhi9hsilx-what4-1.7-doc data (not default)/nix/store/5c2wxp7k29gv1l50qsf8z9rshndhi9qn-what4-1.7-data |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.what4_1_7 |
346dd96ad74d | out/nix/store/y852w05asvd0kn15ql89wrqd7q3gny0y-what4-1.7 doc (not default)/nix/store/sp0bdiw047fk6gb33x2g5nws5c4y1vk7-what4-1.7-doc data (not default)/nix/store/gajb2698miiplf0gcl5rxkb39d3vn6z5-what4-1.7-data |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.what4_1_7 |
346dd96ad74d | out/nix/store/a1vvn1hzcn5iswd0mp894acqiblgll2g-what4-1.7 doc (not default)/nix/store/2dad37x1kznv5mh6yza3gn6yv3hjm4m2-what4-1.7-doc data (not default)/nix/store/9g0k9kchjmdi0fb2rmkhapnmmk3vxn5i-what4-1.7-data |
JSON: /v2/pkg?name=haskellPackages.what4_1_7 · /v2/resolve?name=haskellPackages.what4_1_7&version=1.7