nixsearch / pkg / haskellPackages.crucible / 0.7.2
haskellPackages.crucible 0.7.2
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.7.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitee09932cedcef15aaf476f9343d1dea2cb77e261
$ nix shell github:NixOS/nixpkgs/ee09932cedcef15aaf476f9343d1dea2cb77e261#haskellPackages.crucible
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.crucible |
ee09932cedce | out/nix/store/2d634nk41qzilvv3p9d9ki4l8vvr2c77-crucible-0.7.2 doc (not default)/nix/store/hdcxxx4dpzprki5pvlr7rh2qi3hpkmqx-crucible-0.7.2-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.crucible |
ee09932cedce | out/nix/store/9k01wz5zyxagzja46i3slppskavsh9ph-crucible-0.7.2 doc (not default)/nix/store/2w9xgvp8zy7knaqc5ycqh6jjd4skh1sy-crucible-0.7.2-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.crucible |
ee09932cedce | out/nix/store/mn3qhwkgw78lvdq8gxgi4jjbd2h8dlnc-crucible-0.7.2 doc (not default)/nix/store/3a85yd6n8kb2wczfnn9lqp4f8qhzv5w3-crucible-0.7.2-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.crucible |
ee09932cedce | out/nix/store/50y40fx09m1g1672n5hf31mnlmpc4qrk-crucible-0.7.2 doc (not default)/nix/store/5jl37gjy8yijsvi609xj203fmrc3bb4z-crucible-0.7.2-doc |
JSON: /v2/pkg?name=haskellPackages.crucible · /v2/resolve?name=haskellPackages.crucible&version=0.7.2