nixsearch
nixsearch / pkg / zz / 2021-05-04

zz 2021-05-04

ZetZ a zymbolic verifier and tranzpiler to bare metal C
Linux and macOS last changed

Pin this version

$ devbox add zz@2021-05-04
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit5fd8536a9a5932d4ae8de52b7dc08d92041237fc 
$ nix shell github:NixOS/nixpkgs/5fd8536a9a5932d4ae8de52b7dc08d92041237fc#zz

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 zz 5fd8536a9a59
out
/nix/store/w4v7781dx3vn0nbfw9bag6ax5rhhpl4i-zz-unstable-2021-05-04
aarch64-linux
Linux · arm64		 zz 5fd8536a9a59
out
/nix/store/ihaidgbwk39s4wiffx0rinc4xk7rc9va-zz-unstable-2021-05-04
x86_64-darwin
macOS · x86-64		 zz 5fd8536a9a59
out
/nix/store/9vn7nvlbq1b663z5bnxb9jxqz0np9kd8-zz-unstable-2021-05-04
x86_64-linux
Linux · x86-64		 zz 5fd8536a9a59
out
/nix/store/a5047a0dxy0lk5hd9j8fynl49gsfyawd-zz-unstable-2021-05-04
all 4 releases older: 2021-03-07 →

JSON: /v2/pkg?name=zz · /v2/resolve?name=zz&version=2021-05-04