nixsearch
nixsearch / pkg / boogie / 3.2.5

boogie 3.2.5

An intermediate verification language
Linux and macOS last changed

Pin this version

$ devbox add boogie@3.2.5
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit8edf06bea5bcbee082df1b7369ff973b91618b8d 
$ nix shell github:NixOS/nixpkgs/8edf06bea5bcbee082df1b7369ff973b91618b8d#boogie

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 boogie 8edf06bea5bc
out
/nix/store/6xkpbvdg003cgn70y8gishqlvpkarnzc-Boogie-3.2.5
aarch64-linux
Linux · arm64		 boogie 8edf06bea5bc
out
/nix/store/kanras157v9g7d379s5g12yrxjrv9jyp-Boogie-3.2.5
x86_64-darwin
macOS · x86-64		 boogie 8edf06bea5bc
out
/nix/store/qvswnd79yzgdv7sd7qyl1l07642d6r9z-Boogie-3.2.5
x86_64-linux
Linux · x86-64		 boogie 8edf06bea5bc
out
/nix/store/9q4rna194b1z0klh4sv6xdqsyhlqk532-Boogie-3.2.5
← newer: 3.4.2 all 26 releases older: 3.2.4 →

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