nixsearch / pkg / haskellPackages.verifiable-expressions / 0.6.2
haskellPackages.verifiable-expressions 0.6.2
An intermediate language for Hoare logic style verification
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.verifiable-expressions@0.6.2
$ nix shell github:NixOS/nixpkgs/31acb601e388eb7d552f137dbe5cb4677fdf1c3c#haskellPackages.verifiable-expressions
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.verifiable-expressions |
31acb601e388 | out/nix/store/9qb4njjq91av89aabwc6plyz9xavgzh8-verifiable-expressions-0.6.2 doc (not default)/nix/store/v012d6ni039x92vir5mpg9w5n9dfzy46-verifiable-expressions-0.6.2-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.verifiable-expressions |
31acb601e388 | out/nix/store/6sirp1mny2v6nxqq9an1bil542wcc6m7-verifiable-expressions-0.6.2 doc (not default)/nix/store/5qlnana5nz3xfnxglcrim2sw744sgz6r-verifiable-expressions-0.6.2-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.verifiable-expressions |
31acb601e388 | out/nix/store/alis8m8avdgsavh8mdiv69dq3nj0glxy-verifiable-expressions-0.6.2 doc (not default)/nix/store/17hjbsklqg99x4p49qsk7bqf2psqvr17-verifiable-expressions-0.6.2-doc |
JSON: /v2/pkg?name=haskellPackages.verifiable-expressions · /v2/resolve?name=haskellPackages.verifiable-expressions&version=0.6.2