nixsearch
nixsearch / pkg / dotnetPackages.Boogie / 3.5.7

dotnetPackages.Boogie 3.5.7

An intermediate verification language
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add dotnetPackages.Boogie@3.5.7
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit79b35bf0bda5cd110f856aa5b5b2c5ba4460dbf5 
$ nix shell github:NixOS/nixpkgs/79b35bf0bda5cd110f856aa5b5b2c5ba4460dbf5#dotnetPackages.Boogie

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 dotnetPackages.Boogie 79b35bf0bda5
out
/nix/store/gjzb4chidj1kfxfr2kqq768q1z753fzr-Boogie-3.5.7
aarch64-linux
Linux · arm64		 dotnetPackages.Boogie 79b35bf0bda5
out
/nix/store/wjdysg8zxhkciwck2v69pa1dg60pf33d-Boogie-3.5.7
x86_64-linux
Linux · x86-64		 dotnetPackages.Boogie 79b35bf0bda5
out
/nix/store/k1v9lbhpi7mf8hw39gw4m5nrm0f74lc3-Boogie-3.5.7
← newer: 2019-06-20 all 4 releases older: 2.15.7 →

JSON: /v2/pkg?name=dotnetPackages.Boogie · /v2/resolve?name=dotnetPackages.Boogie&version=3.5.7