{"name":"zz","version":"2021-03-07","summary":"ZetZ a zymbolic verifier and tranzpiler to bare metal C","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee084c02040e864eeeb4cf4f8538d92f7c675671"},"attr_path":"zz"},"last_updated":"2021-10-04T06:34:54Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee084c02040e864eeeb4cf4f8538d92f7c675671"},"attr_path":"zz"},"last_updated":"2021-10-04T06:34:54Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee084c02040e864eeeb4cf4f8538d92f7c675671"},"attr_path":"zz"},"last_updated":"2021-10-04T06:34:54Z"}}}