nixsearch
nixsearch / pkg / boogie / 3.5.7

boogie 3.5.7

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

Pin this version

$ devbox add boogie@3.5.7
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#boogie

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 boogie b6c8664de9b6
out
/nix/store/z3nd1shynhl7k1jaj6kr5fz17d5hd5gg-Boogie-3.5.7
aarch64-linux
Linux · arm64		 boogie b6c8664de9b6
out
/nix/store/x5wjavk4ki3ksbkkfa98p3q23nwalj6w-Boogie-3.5.7
x86_64-linux
Linux · x86-64		 boogie b6c8664de9b6
out
/nix/store/5srls4w970g14q5r7cl44fk5569jj35n-Boogie-3.5.7
← newer: 2019-06-20 all 26 releases older: 3.5.6 →

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