nixsearch
nixsearch / pkg / agdaPackages._1lab / 0-unstable-2025-07-01

agdaPackages._1lab 0-unstable-2025-07-01

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

Pin this version

$ devbox add agdaPackages._1lab@0-unstable-2025-07-01
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#agdaPackages._1lab
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#agdaPackages._1lab

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 agdaPackages._1lab b6c8664de9b6
out
/nix/store/n45dqnzpvmb2r6p196drdmfzbvm7j0f1-1lab-0-unstable-2025-07-01
aarch64-linux
Linux · arm64		 agdaPackages._1lab b6c8664de9b6
out
/nix/store/6rliqs5034lyqd8ds8pkck3y2nk5dwyh-1lab-0-unstable-2025-07-01
x86_64-darwin
macOS · x86-64		 agdaPackages._1lab 05988b07fb05
out
/nix/store/zxyvnl2bdj7vw6k4rb531plm8sjmpznn-1lab-0-unstable-2025-07-01
x86_64-linux
Linux · x86-64		 agdaPackages._1lab b6c8664de9b6
out
/nix/store/kgfdbxxmp7kpbg2jknlnf94axsks1fbh-1lab-0-unstable-2025-07-01
← newer: 2024-03-07 all 4 releases

JSON: /v2/pkg?name=agdaPackages._1lab · /v2/resolve?name=agdaPackages._1lab&version=0-unstable-2025-07-01