nixsearch / pkg / dotnetPackages.Boogie / 2019-06-20
dotnetPackages.Boogie 2019-06-20
An intermediate verification language
Linux
last changed
Pin this version
$ devbox add dotnetPackages.Boogie@2019-06-20
$ nix shell github:NixOS/nixpkgs/7ad5e816faba3f808e2a8815b14d0f023a4e2160#dotnetPackages.Boogie
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
dotnetPackages.Boogie |
7ad5e816faba |
JSON: /v2/pkg?name=dotnetPackages.Boogie · /v2/resolve?name=dotnetPackages.Boogie&version=2019-06-20