nixsearch
nixsearch / pkg / zz

zz

ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT github.com zz 4 releases newest changed
zz@ latest, 3.11, ^3.11, >=3.10 <3.12
version2021-05-04 attributezz rev5fd8536a9a5932d4ae8de52b7dc08d92041237fc · one commit for every system systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add zz@2021-05-04
$ nix shell github:NixOS/nixpkgs/5fd8536a9a5932d4ae8de52b7dc08d92041237fc#zz

JSON: /v2/resolve?name=zz&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac
arm
linux
x86
mac
x86
linux
AttributeCommitDateOutputs
2021-05-04resolved ✓✓✓✓ zz 5fd8536a9a
2021-03-07 ✓–✓✓ zz ee084c0204
2021-01-26 –––✓ zz 5df05c902c
0.1 –––✓ zz 4eccd6f731

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.