nixsearch / pkg / haskellPackages.crux / 0.7.2
haskellPackages.crux 0.7.2
Simple top-level library for Crucible Simulation
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.crux@0.7.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf4b140d5b253f5e2a1ff4e5506edbf8267724bde
$ nix shell github:NixOS/nixpkgs/f4b140d5b253f5e2a1ff4e5506edbf8267724bde#haskellPackages.crux
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.crux |
f4b140d5b253 | out/nix/store/0ml4z16acfrdj50sbqn7j48jnk2s7124-crux-0.7.2 doc (not default)/nix/store/2v5l2d3v6l8382gq295lzszhhh3dcx20-crux-0.7.2-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.crux |
f4b140d5b253 | out/nix/store/p208rnqvz1ml2ycqjk83w6fg5bls1wxl-crux-0.7.2 doc (not default)/nix/store/df8c49b54mdim96b3mbf3r9cj8fmism0-crux-0.7.2-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.crux |
f4b140d5b253 | out/nix/store/f63s1fglxiswqgigw2jghbcf5yzjjys7-crux-0.7.2 doc (not default)/nix/store/p4ni0h787s975jpmlnr1q163yxmfqhfq-crux-0.7.2-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.crux |
f4b140d5b253 | out/nix/store/03lkbxzni0s4f6x3p9xn48fw7dwaixyb-crux-0.7.2 doc (not default)/nix/store/m5q3yqskhm91vvgxfbrn9prlicwf1h8s-crux-0.7.2-doc |
JSON: /v2/pkg?name=haskellPackages.crux · /v2/resolve?name=haskellPackages.crux&version=0.7.2