nixsearch
nixsearch / pkg / boogie / 3.1.4

boogie 3.1.4

An intermediate verification language
Linux and macOS last changed

Pin this version

$ devbox add boogie@3.1.4
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit5fd8536a9a5932d4ae8de52b7dc08d92041237fc 
$ nix shell github:NixOS/nixpkgs/5fd8536a9a5932d4ae8de52b7dc08d92041237fc#boogie

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 boogie 5fd8536a9a59
out
/nix/store/avsck1hv92nl3q3ggg9xdsya59damn9n-Boogie-3.1.4
aarch64-linux
Linux · arm64		 boogie 5fd8536a9a59
out
/nix/store/cdvwly10n3pjh14qimbicv7q32dxlmv5-Boogie-3.1.4
x86_64-darwin
macOS · x86-64		 boogie 5fd8536a9a59
out
/nix/store/9ih7hmhw7q4rl0dvzlgj83dndlzqfmhz-Boogie-3.1.4
x86_64-linux
Linux · x86-64		 boogie 5fd8536a9a59
out
/nix/store/6a6mfczskwrcnq5bdprkh13bkmnj40f1-Boogie-3.1.4
← newer: 3.1.5 all 26 releases older: 3.1.3 →

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