nixsearch
nixsearch / pkg / boogie / 3.5.1

boogie 3.5.1

An intermediate verification language
Linux and macOS last changed

Pin this version

$ devbox add boogie@3.5.1
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitedb3633f9100d9277d1c9af245a4e9337a980c07 
$ nix shell github:NixOS/nixpkgs/edb3633f9100d9277d1c9af245a4e9337a980c07#boogie

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 boogie edb3633f9100
out
/nix/store/i6ksfyfpybymx2wivax37jmgrzb0m2xa-Boogie-3.5.1
aarch64-linux
Linux · arm64		 boogie edb3633f9100
out
/nix/store/yvb9ifk0k563nkfmcpb6r2c51rzksy1n-Boogie-3.5.1
x86_64-darwin
macOS · x86-64		 boogie edb3633f9100
out
/nix/store/5wbgbhf2gmnfi1xfzyv6jd01js4xlvpj-Boogie-3.5.1
x86_64-linux
Linux · x86-64		 boogie edb3633f9100
out
/nix/store/p8851vvj0rl9vwrg8irk82dp6nh0iw5a-Boogie-3.5.1
← newer: 3.5.3 all 26 releases older: 3.4.2 →

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