nixsearch
nixsearch / pkg / boogie / 2.15.7

boogie 2.15.7

An intermediate verification language
Linux and macOS last changed

Pin this version

$ devbox add boogie@2.15.7
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit46688f8eb5cd6f1298d873d4d2b9cf245e09e88e 
$ nix shell github:NixOS/nixpkgs/46688f8eb5cd6f1298d873d4d2b9cf245e09e88e#boogie

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 boogie 46688f8eb5cd
out
/nix/store/4pxr4nlnraxv2vgy53viisarbli5lksw-Boogie-2.15.7
aarch64-linux
Linux · arm64		 boogie 46688f8eb5cd
out
/nix/store/g63q51p7ip9mmn7xy8k3w04yy7rq1pkc-Boogie-2.15.7
x86_64-darwin
macOS · x86-64		 boogie 46688f8eb5cd
out
/nix/store/r4kywfvhkrlldyr0pj591bmxadpna7b9-Boogie-2.15.7
x86_64-linux
Linux · x86-64		 boogie 46688f8eb5cd
out
/nix/store/vlq35wcbwj49rkwzy9fiahsbymd4y1kk-Boogie-2.15.7
← newer: 3.0.4 all 26 releases older: 2.4.1 →

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