{"name":"agdaPackages._1lab","version":"2024-08-05","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":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"agdaPackages._1lab"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/w8wlcrac4ahsfkg860nrzd927mgq6ssv-1lab-unstable-2024-08-05","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3"},"attr_path":"agdaPackages._1lab"},"last_updated":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/nfj3cqsh11dl3jr6byqzf6zcgwyizgi0-1lab-unstable-2024-08-05","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8679b16e11becd487b45d568358ddf9d5640d860"},"attr_path":"agdaPackages._1lab"},"last_updated":"2025-07-31T04:07:16Z","outputs":[{"name":"out","path":"/nix/store/0va8d31m7vsygk23kf7j7gbs3f6q91rb-1lab-unstable-2024-08-05","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3"},"attr_path":"agdaPackages._1lab"},"last_updated":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/0qdrmq23rkl4pjr39vagks8i6cvslzxw-1lab-unstable-2024-08-05","default":true}]}}}