nixsearch
nixsearch / pkg / dotnetPackages.Boogie / 2.4.1

dotnetPackages.Boogie 2.4.1

An intermediate verification language
Linux and macOS last changed

Pin this version

$ devbox add dotnetPackages.Boogie@2.4.1
systemsaarch64-darwin, x86_64-darwin commit24c33ab7952544ad355d0677c9eea931b23f371c 
$ nix shell github:NixOS/nixpkgs/24c33ab7952544ad355d0677c9eea931b23f371c#dotnetPackages.Boogie
systemsx86_64-linux commit72bbea9db7d727ed044e60b5f5febc60a3c5c955 
$ nix shell github:NixOS/nixpkgs/72bbea9db7d727ed044e60b5f5febc60a3c5c955#dotnetPackages.Boogie

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 dotnetPackages.Boogie 24c33ab79525
x86_64-darwin
macOS · x86-64		 dotnetPackages.Boogie 24c33ab79525
x86_64-linux
Linux · x86-64		 dotnetPackages.Boogie 72bbea9db7d7
← newer: 2.15.7 all 4 releases

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