nixsearch
nixsearch / pkg / boogie / 3.0.5

boogie 3.0.5

An intermediate verification language
Linux and macOS last changed

Pin this version

$ devbox add boogie@3.0.5
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita71323f68d4377d12c04a5410e214495ec598d4c 
$ nix shell github:NixOS/nixpkgs/a71323f68d4377d12c04a5410e214495ec598d4c#boogie

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 boogie a71323f68d43
out
/nix/store/v7yfd721yampzk8c9sg9q7qdsiqdsmcr-Boogie-3.0.5
aarch64-linux
Linux · arm64		 boogie a71323f68d43
out
/nix/store/cmxixykijsvdwcg6q05qq5dm6ihy1pig-Boogie-3.0.5
x86_64-darwin
macOS · x86-64		 boogie a71323f68d43
out
/nix/store/qch82wvpvflq1vxm8qncsjzcs5aph63m-Boogie-3.0.5
x86_64-linux
Linux · x86-64		 boogie a71323f68d43
out
/nix/store/y3232y09vlchj05nzvsmlfpk3gmcx4ja-Boogie-3.0.5
← newer: 3.0.6 all 26 releases older: 3.0.4 →

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