| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-12-10 | treewide: clean up 'meta = with' pattern | Ihar Hrachyshka |
| 2025-10-11 | agdaPackages.agdarsec: 0.4.1 -> 0.5.0-unstable-2025-08-05 | Naïm Camille Favier |
| 2025-07-16 | agdaPackages: switch to `--build-library` | Naïm Camille Favier |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger |
| 2023-12-27 | agdaPackages.agdarsec: mark as broken | Naïm Favier |
| 2021-08-30 | agdaPackages.agdarsec: Init at 0.4.1 | Manuel Bärenz |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |