zz 2021-01-26
ZetZ a zymbolic verifier and tranzpiler to bare metal C
Linux
last changed
Pin this version
$ devbox add zz@2021-01-26
$ nix shell github:NixOS/nixpkgs/5df05c902cde398e056eb6271d5fe13e418db4c6#zz
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
zz |
5df05c902cde |
JSON: /v2/pkg?name=zz · /v2/resolve?name=zz&version=2021-01-26