4 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| nixpkgs stable 24.05 | 1lab-unstable | 2024-03-07 | agdaPackages | n@monade.li |
| nixpkgs stable 24.11 | 1lab-unstable | 2024-08-05 | agdaPackages | n@monade.li |
| nixpkgs stable 25.05 | 1lab-unstable | 2024-08-05 | agdaPackages | n@monade.li |
| nixpkgs unstable | 1lab-unstable | 2024-08-05 | agdaPackages | n@monade.li |