{"name":"agdaPackages._1lab","version":"2024-03-07","summary":"A 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":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"agdaPackages._1lab"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/yw6j8ragrym3q27dgdzrlcz6gl6rwgkp-1lab-unstable-2024-03-07","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"agdaPackages._1lab"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/2ysygw9h0p3z0vgqnnxy6bxrgd61h9yh-1lab-unstable-2024-03-07","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"agdaPackages._1lab"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/1i9xbkf5l36qa8db91idl0jdgy9ddyv7-1lab-unstable-2024-03-07","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"agdaPackages._1lab"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/iv8rspf3g5is2p9m84hm94y19p76ip00-1lab-unstable-2024-03-07","default":true}]}}}