{"name":"agdaPackages._1lab","version":"0-unstable-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":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/n45dqnzpvmb2r6p196drdmfzbvm7j0f1-1lab-0-unstable-2025-07-01","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/6rliqs5034lyqd8ds8pkck3y2nk5dwyh-1lab-0-unstable-2025-07-01","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/zxyvnl2bdj7vw6k4rb531plm8sjmpznn-1lab-0-unstable-2025-07-01","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/kgfdbxxmp7kpbg2jknlnf94axsks1fbh-1lab-0-unstable-2025-07-01","default":true}]}}}