{"name":"agdaPackages.cubical","summary":"Cubical type theory library for use with the Agda compiler","description":"","homepage_url":"https://github.com/agda/cubical","license":"MIT","attribute_paths":["agdaPackages.cubical"],"releases":[{"version":"0.9","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agdaPackages.cubical","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/q44rkf66igr1fg38f6gkjqc8rmhbm1k1-cubical-0.9","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agdaPackages.cubical","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/q51v2zhhyrdqsnb8w8kdk0slvg03lcn3-cubical-0.9","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agdaPackages.cubical","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/8lay6djdabd201v9mdng3d929cbjb3c1-cubical-0.9","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agdaPackages.cubical","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/qck3sr06n153jbyj6j59nifnx5f9ah6p-cubical-0.9","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.8","last_updated":"2025-08-03T19:18:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agdaPackages.cubical","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/0snaci7zrg0qkc703rqzx17xwv3cj3s7-cubical-0.8","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agdaPackages.cubical","commit_hash":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3","date":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/hkavbnqfk24dixw8l78yibcv8kixzvnq-cubical-0.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agdaPackages.cubical","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/wvkvhy8ai8rkc32m6by9ch5yhhmfydzy-cubical-0.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agdaPackages.cubical","commit_hash":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3","date":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/mclw64bvzv84jdn0yffnqrclm71v5mv8-cubical-0.8","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.7","last_updated":"2025-05-16T20:19:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agdaPackages.cubical","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/23ywdcm4k3nysc9ng06z27zh4wn5ib95-cubical-0.7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agdaPackages.cubical","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/ixf65sjx8zs2fmvmjqamhq4w5zw3pzn6-cubical-0.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agdaPackages.cubical","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/hc0v2ci949yi5c27z3xsf7sdjn8lc0pm-cubical-0.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agdaPackages.cubical","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/07700hc6yc9hyyyxbsbfknl0lhlhfsy6-cubical-0.7","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}