nixsearch / pkg / haskellPackages.crucible / 0.8.0.0
haskellPackages.crucible 0.8.0.0
Crucible is a library for language-agnostic symbolic simulation
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.crucible@0.8.0.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita1bab9e494f5f4939442a57a58d0449a109593fe
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#haskellPackages.crucible
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.crucible |
a1bab9e494f5 | out/nix/store/cwq5s48f865mnfnv13mhmzsb6d275fib-crucible-0.8.0.0 doc (not default)/nix/store/7xf8gcy73amnsdpq83gg8bry0wqwm7c5-crucible-0.8.0.0-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.crucible |
a1bab9e494f5 | out/nix/store/n0rkvinb8dgqkj71rnx4y5yrrxd8aspq-crucible-0.8.0.0 doc (not default)/nix/store/8pyx0iwkv84krvz1gapcry6h9z6s32zn-crucible-0.8.0.0-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.crucible |
a1bab9e494f5 | out/nix/store/b7vkvklxbmzwsv8n7bjbyyn2yzsh8nvs-crucible-0.8.0.0 doc (not default)/nix/store/r5g95w3s22lxbpf9fhsrvr42iqrm664y-crucible-0.8.0.0-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.crucible |
a1bab9e494f5 | out/nix/store/j4ssyb34p18w2rbdidiphs9wm85mv715-crucible-0.8.0.0 doc (not default)/nix/store/brjx0sa8whmnmwv5f2gvhw48l7f21i25-crucible-0.8.0.0-doc |
JSON: /v2/pkg?name=haskellPackages.crucible · /v2/resolve?name=haskellPackages.crucible&version=0.8.0.0