nixsearch
nixsearch / pkg / agdaPackages._1lab / 2024-08-05

agdaPackages._1lab 2024-08-05

Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Linux and macOS last changed

Pin this version

$ devbox add agdaPackages._1lab@2024-08-05
systemsaarch64-darwin, x86_64-darwin commit8679b16e11becd487b45d568358ddf9d5640d860 
$ nix shell github:NixOS/nixpkgs/8679b16e11becd487b45d568358ddf9d5640d860#agdaPackages._1lab
systemsaarch64-linux, x86_64-linux commitbf9fa86a9b1005d932f842edf2c38eeecc98eef3 
$ nix shell github:NixOS/nixpkgs/bf9fa86a9b1005d932f842edf2c38eeecc98eef3#agdaPackages._1lab

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agdaPackages._1lab 8679b16e11be
out
/nix/store/w8wlcrac4ahsfkg860nrzd927mgq6ssv-1lab-unstable-2024-08-05
aarch64-linux
Linux · arm64		 agdaPackages._1lab bf9fa86a9b10
out
/nix/store/nfj3cqsh11dl3jr6byqzf6zcgwyizgi0-1lab-unstable-2024-08-05
x86_64-darwin
macOS · x86-64		 agdaPackages._1lab 8679b16e11be
out
/nix/store/0va8d31m7vsygk23kf7j7gbs3f6q91rb-1lab-unstable-2024-08-05
x86_64-linux
Linux · x86-64		 agdaPackages._1lab bf9fa86a9b10
out
/nix/store/0qdrmq23rkl4pjr39vagks8i6cvslzxw-1lab-unstable-2024-08-05
← newer: 2025-07-01 all 4 releases older: 2024-03-07 →

JSON: /v2/pkg?name=agdaPackages._1lab · /v2/resolve?name=agdaPackages._1lab&version=2024-08-05