{"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":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/d2yjnqmf14sjyq3wwc77vgi7l5asd4cd-1lab-0-unstable-2025-07-01","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/7sx3avng6dzqg147hkcvp4ljs2z5nkzg-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":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"agdaPackages._1lab"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/cy09vjya94bbbkjwrk2w5fl3snzxfh9g-1lab-0-unstable-2025-07-01","default":true}]}}}