| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-12-10 | treewide: clean up 'meta = with' pattern | Ihar Hrachyshka |
| 2025-09-25 | various: remove superflous usages of pname | Guy Chronister |
| 2025-07-16 | agdaPackages: switch to `--build-library` | Naïm Camille Favier |
| 2025-07-14 | agdaPackages.generics: fix build | Naïm Camille Favier |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger |
| 2024-07-01 | agdaPackages.generics: init at 1.0.1 | Manuel Bärenz |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |