nixsearch
nixsearch / pkg / boogie / 3.4.2

boogie 3.4.2

An intermediate verification language
Linux and macOS last changed

Pin this version

$ devbox add boogie@3.4.2
systemsaarch64-darwin, x86_64-darwin commitffa0bb043c25cfc79ff3bc20ba2e44c3724499b1 
$ nix shell github:NixOS/nixpkgs/ffa0bb043c25cfc79ff3bc20ba2e44c3724499b1#boogie
systemsaarch64-linux, x86_64-linux commit29335f23bea5e34228349ea739f31ee79e267b88 
$ nix shell github:NixOS/nixpkgs/29335f23bea5e34228349ea739f31ee79e267b88#boogie

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 boogie ffa0bb043c25
out
/nix/store/dzz47zydjdksl4nkvkw1rykjgqiblgd0-Boogie-3.4.2
aarch64-linux
Linux · arm64		 boogie 29335f23bea5
out
/nix/store/6mck4fbybc93gz6r0brjayf0gh8325m6-Boogie-3.4.2
x86_64-darwin
macOS · x86-64		 boogie ffa0bb043c25
out
/nix/store/b5j1nhjs26zrlnwiqwgcizvpl8v7p8v1-Boogie-3.4.2
x86_64-linux
Linux · x86-64		 boogie 29335f23bea5
out
/nix/store/phklpbid29i3hy9ngybp16f705c6qghn-Boogie-3.4.2
← newer: 3.5.1 all 26 releases older: 3.2.5 →

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