{"name":"zz","summary":"ZetZ a zymbolic verifier and tranzpiler to bare metal C","description":"","homepage_url":"https://github.com/zetzit/zz","license":"MIT","attribute_paths":["zz"],"releases":[{"version":"2021-05-04","last_updated":"2024-05-03T15:42:32Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"zz","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/w4v7781dx3vn0nbfw9bag6ax5rhhpl4i-zz-unstable-2021-05-04","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"zz","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/ihaidgbwk39s4wiffx0rinc4xk7rc9va-zz-unstable-2021-05-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"zz","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/9vn7nvlbq1b663z5bnxb9jxqz0np9kd8-zz-unstable-2021-05-04","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"zz","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/a5047a0dxy0lk5hd9j8fynl49gsfyawd-zz-unstable-2021-05-04","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2021-03-07","last_updated":"2021-10-04T06:34:54Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"zz","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"zz","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"zz","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2021-01-26","last_updated":"2021-02-27T20:39:16Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"zz","commit_hash":"5df05c902cde398e056eb6271d5fe13e418db4c6","date":"2021-02-27T20:39:16Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.1","last_updated":"2021-01-18T12:47:57Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"zz","commit_hash":"4eccd6f731627ba5ad9915bcf600c9329a34ca78","date":"2021-01-18T12:47:57Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}