{"name":"zz","version":"2021-05-04","summary":"ZetZ a zymbolic verifier and tranzpiler to bare metal C","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc"},"attr_path":"zz"},"last_updated":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/w4v7781dx3vn0nbfw9bag6ax5rhhpl4i-zz-unstable-2021-05-04","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc"},"attr_path":"zz"},"last_updated":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/ihaidgbwk39s4wiffx0rinc4xk7rc9va-zz-unstable-2021-05-04","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc"},"attr_path":"zz"},"last_updated":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/9vn7nvlbq1b663z5bnxb9jxqz0np9kd8-zz-unstable-2021-05-04","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc"},"attr_path":"zz"},"last_updated":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/a5047a0dxy0lk5hd9j8fynl49gsfyawd-zz-unstable-2021-05-04","default":true}]}}}