nixsearch / pkg / haskellPackages.crucible-llvm / 0.7.1
haskellPackages.crucible-llvm 0.7.1
Support for translating and executing LLVM code in Crucible
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.crucible-llvm@0.7.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf4b140d5b253f5e2a1ff4e5506edbf8267724bde
$ nix shell github:NixOS/nixpkgs/f4b140d5b253f5e2a1ff4e5506edbf8267724bde#haskellPackages.crucible-llvm
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.crucible-llvm |
f4b140d5b253 | out/nix/store/2r72z8yw69cfhfs49xaakg94l10pkwaw-crucible-llvm-0.7.1 doc (not default)/nix/store/4f8cglb9314a06c3lddgwzm9645k30cq-crucible-llvm-0.7.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.crucible-llvm |
f4b140d5b253 | out/nix/store/kjwnrv1k7nnrwpdxvnbrbb6c126vdzrz-crucible-llvm-0.7.1 doc (not default)/nix/store/6ni8ghmjgqdsx9ww9cbfjfawdppprvyy-crucible-llvm-0.7.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.crucible-llvm |
f4b140d5b253 | out/nix/store/nhr901yjhaf16acyy8j2m8z6a4hmlvga-crucible-llvm-0.7.1 doc (not default)/nix/store/2vbwd9kw37jld18fs25bm0kvg3mmd6fh-crucible-llvm-0.7.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.crucible-llvm |
f4b140d5b253 | out/nix/store/crfsxwfng0x3gbvsvb9sc8zn8lvdqivk-crucible-llvm-0.7.1 doc (not default)/nix/store/jhmhs6jqk12jl7zr4rgpvxc699jhl5pv-crucible-llvm-0.7.1-doc |
JSON: /v2/pkg?name=haskellPackages.crucible-llvm · /v2/resolve?name=haskellPackages.crucible-llvm&version=0.7.1