nixsearch
nixsearch / pkg / haskellPackages.what4 / 1.6.3

haskellPackages.what4 1.6.3

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.6.3
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#haskellPackages.what4
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#haskellPackages.what4

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 haskellPackages.what4 b6c8664de9b6
out
/nix/store/k4ngi85wwn8fysz9x5jna3ysrwdkn2cn-what4-1.6.3
data (not default)
/nix/store/vah71yc13jqs3hd183m5w41yv1kbwsgm-what4-1.6.3-data
doc (not default)
/nix/store/3b1jv7kqryhg34xxbfq7nc4gkigkxggf-what4-1.6.3-doc
aarch64-linux
Linux · arm64		 haskellPackages.what4 b6c8664de9b6
out
/nix/store/73rif4xmsfws5xxidqsd80blfyrxg23s-what4-1.6.3
data (not default)
/nix/store/f8az57w3zwzdh2qxnvam58lf4qgpbjmh-what4-1.6.3-data
doc (not default)
/nix/store/rgyd4cwmzgahgqfzcqayqpvn19nzdsc1-what4-1.6.3-doc
x86_64-darwin
macOS · x86-64		 haskellPackages.what4 05988b07fb05
out
/nix/store/249dc76a1nxpcy4xk3rsxxw1xzzqmjl1-what4-1.6.3
data (not default)
/nix/store/5dgic59plb25cpf5c5r1n169bzhyrzna-what4-1.6.3-data
doc (not default)
/nix/store/rb703f88m6zp99wi10py6d7liidz23yi-what4-1.6.3-doc
x86_64-linux
Linux · x86-64		 haskellPackages.what4 b6c8664de9b6
out
/nix/store/ahw2kkpzixfhv7nri67nflminvkcdpf5-what4-1.6.3
data (not default)
/nix/store/6w2g2m8nk8fzxzs4j1rqhj417j9s6088-what4-1.6.3-data
doc (not default)
/nix/store/64lkpp9fza3j7r8x954rwcj7cg058505-what4-1.6.3-doc
all 1 releases

JSON: /v2/pkg?name=haskellPackages.what4 · /v2/resolve?name=haskellPackages.what4&version=1.6.3