{"name":"agdaPackages._1lab","version":"2025-07-01","summary":"Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/s6gy8bgb3vilsbc8ld7cf7vm3ihmkb2f-1lab-unstable-2025-07-01","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"13b0f9e6ac78abbbb736c635d87845c4f4bee51b"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-01-26T13:12:53Z","outputs":[{"name":"out","path":"/nix/store/j787cqg2zgdp1ffkm1n1sjrb1206wslj-1lab-unstable-2025-07-01","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/x5xxysjs4ab7a5xw7bgnn22b3gx8afrc-1lab-unstable-2025-07-01","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"13b0f9e6ac78abbbb736c635d87845c4f4bee51b"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-01-26T13:12:53Z","outputs":[{"name":"out","path":"/nix/store/dwm6my0mgmfv3yjqiwl4k1hfw4izvvxy-1lab-unstable-2025-07-01","default":true}]}}}