nixsearch / pkg / haskellPackages.crucible-debug / 0.1.0
haskellPackages.crucible-debug 0.1.0
An interactive debugger for Crucible programs
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.crucible-debug@0.1.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf4b140d5b253f5e2a1ff4e5506edbf8267724bde
$ nix shell github:NixOS/nixpkgs/f4b140d5b253f5e2a1ff4e5506edbf8267724bde#haskellPackages.crucible-debug
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.crucible-debug |
f4b140d5b253 | out/nix/store/8zw2jb4hc5qraxangyknw4xrpdba51bs-crucible-debug-0.1.0 doc (not default)/nix/store/q4yimd2pwwqcbjwqa5wgji5yqqmrakm2-crucible-debug-0.1.0-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.crucible-debug |
f4b140d5b253 | out/nix/store/0zfmf3gcbyqpwrcii75ya84kl80x252p-crucible-debug-0.1.0 doc (not default)/nix/store/6mnrr5791nlai4m0lpykiz40dw8cnjh7-crucible-debug-0.1.0-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.crucible-debug |
f4b140d5b253 | out/nix/store/b8qb3p8iii8s31b138i9yi29ynr7vcr2-crucible-debug-0.1.0 doc (not default)/nix/store/rkwfh6xdrw9482y4is8qkyx60ahzvs7l-crucible-debug-0.1.0-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.crucible-debug |
f4b140d5b253 | out/nix/store/iak85ks08myvny3mw6hlab9anrp0h07p-crucible-debug-0.1.0 doc (not default)/nix/store/amgi3r1c95jhg86aswk1s4ll7wf5fkp2-crucible-debug-0.1.0-doc |
JSON: /v2/pkg?name=haskellPackages.crucible-debug · /v2/resolve?name=haskellPackages.crucible-debug&version=0.1.0