{"name":"agdaPackages._1lab","summary":"Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory","description":"","homepage_url":"https://github.com/the1lab/1lab","license":"AGPL-3.0-only","attribute_paths":["agdaPackages._1lab"],"releases":[{"version":"2025-07-01","last_updated":"2026-01-26T13:12:53Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agdaPackages._1lab","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/s6gy8bgb3vilsbc8ld7cf7vm3ihmkb2f-1lab-unstable-2025-07-01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agdaPackages._1lab","commit_hash":"13b0f9e6ac78abbbb736c635d87845c4f4bee51b","date":"2026-01-26T13:12:53Z","outputs":[{"name":"out","path":"/nix/store/j787cqg2zgdp1ffkm1n1sjrb1206wslj-1lab-unstable-2025-07-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agdaPackages._1lab","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/x5xxysjs4ab7a5xw7bgnn22b3gx8afrc-1lab-unstable-2025-07-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agdaPackages._1lab","commit_hash":"13b0f9e6ac78abbbb736c635d87845c4f4bee51b","date":"2026-01-26T13:12:53Z","outputs":[{"name":"out","path":"/nix/store/dwm6my0mgmfv3yjqiwl4k1hfw4izvvxy-1lab-unstable-2025-07-01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024-08-05","last_updated":"2025-08-03T19:18:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agdaPackages._1lab","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/w8wlcrac4ahsfkg860nrzd927mgq6ssv-1lab-unstable-2024-08-05","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agdaPackages._1lab","commit_hash":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3","date":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/nfj3cqsh11dl3jr6byqzf6zcgwyizgi0-1lab-unstable-2024-08-05","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agdaPackages._1lab","commit_hash":"8679b16e11becd487b45d568358ddf9d5640d860","date":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/0va8d31m7vsygk23kf7j7gbs3f6q91rb-1lab-unstable-2024-08-05","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agdaPackages._1lab","commit_hash":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3","date":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/0qdrmq23rkl4pjr39vagks8i6cvslzxw-1lab-unstable-2024-08-05","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2024-03-07","last_updated":"2024-08-31T10:12:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agdaPackages._1lab","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/yw6j8ragrym3q27dgdzrlcz6gl6rwgkp-1lab-unstable-2024-03-07","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agdaPackages._1lab","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/2ysygw9h0p3z0vgqnnxy6bxrgd61h9yh-1lab-unstable-2024-03-07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agdaPackages._1lab","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/1i9xbkf5l36qa8db91idl0jdgy9ddyv7-1lab-unstable-2024-03-07","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agdaPackages._1lab","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/iv8rspf3g5is2p9m84hm94y19p76ip00-1lab-unstable-2024-03-07","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0-unstable-2025-07-01","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agdaPackages._1lab","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/n45dqnzpvmb2r6p196drdmfzbvm7j0f1-1lab-0-unstable-2025-07-01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agdaPackages._1lab","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/6rliqs5034lyqd8ds8pkck3y2nk5dwyh-1lab-0-unstable-2025-07-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agdaPackages._1lab","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/zxyvnl2bdj7vw6k4rb531plm8sjmpznn-1lab-0-unstable-2025-07-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agdaPackages._1lab","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/kgfdbxxmp7kpbg2jknlnf94axsks1fbh-1lab-0-unstable-2025-07-01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}