nixsearch
nixsearch / pkg / boogie / 3.5.6

boogie 3.5.6

An intermediate verification language
Linux and macOS last changed

Pin this version

$ devbox add boogie@3.5.6
systemsaarch64-darwin commitf2b17eb1b90f6a359082035b4538d4c63017aec3 
$ nix shell github:NixOS/nixpkgs/f2b17eb1b90f6a359082035b4538d4c63017aec3#boogie
systemsaarch64-linux, x86_64-linux commit044bfe75bfe4c7bbe043dc17b5e42ea823b84a09 
$ nix shell github:NixOS/nixpkgs/044bfe75bfe4c7bbe043dc17b5e42ea823b84a09#boogie
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#boogie

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 boogie f2b17eb1b90f
out
/nix/store/3waidxddgg5hy6pjp16hsy5da87nflka-Boogie-3.5.6
aarch64-linux
Linux · arm64		 boogie 044bfe75bfe4
out
/nix/store/b4gk1di9vv762wf23vbfmdl02sd6rysz-Boogie-3.5.6
x86_64-darwin
macOS · x86-64		 boogie 3d46470bb303
out
/nix/store/dzs7piyw7jxdix692hzw6xpbn1lv0i4v-Boogie-3.5.6
x86_64-linux
Linux · x86-64		 boogie 044bfe75bfe4
out
/nix/store/7v0l6wr6apc5xzpysmgm5l3ks986lrq2-Boogie-3.5.6
← newer: 3.5.7 all 26 releases older: 3.5.5 →

JSON: /v2/pkg?name=boogie · /v2/resolve?name=boogie&version=3.5.6