boogie 3.2.1
An intermediate verification language
Linux and macOS
last changed
Pin this version
$ devbox add boogie@3.2.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit799bc8d7b16e6779f0105713e6794899133c4a38
$ nix shell github:NixOS/nixpkgs/799bc8d7b16e6779f0105713e6794899133c4a38#boogie
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
boogie |
799bc8d7b16e | out/nix/store/hhf92gnd33rpsgxzxxln78kmckmm1qcr-Boogie-3.2.1 |
||
aarch64-linuxLinux · arm64 |
boogie |
799bc8d7b16e | out/nix/store/y2c5r4iz043b55954m4z69jfim874i6p-Boogie-3.2.1 |
||
x86_64-darwinmacOS · x86-64 |
boogie |
799bc8d7b16e | out/nix/store/5fbbn0wl229sycd79nfqp4j2lqfzdcn9-Boogie-3.2.1 |
||
x86_64-linuxLinux · x86-64 |
boogie |
799bc8d7b16e | out/nix/store/3asvvdk2rca97was64zwl6pka9xk3npn-Boogie-3.2.1 |
JSON: /v2/pkg?name=boogie · /v2/resolve?name=boogie&version=3.2.1