| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-10-05 | treewide: remove redundant parentheses | Wolfgang Walther |
| 2025-04-08 | Revert "treewide: replace `rev` with `tag`" | Winter |
| 2025-04-07 | treewide: replace `rev` with `tag` | Pol Dellaiera |
| 2024-12-10 | treewide: format all inactive Nix files | Silvan Mosberger |
| 2021-01-25 | treewide: remove stdenv where not needed | Pavol Rusnak |
| 2021-01-21 | pkgs/development/libraries: stdenv.lib -> lib | Ben Siraphob |
| 2020-05-14 | Agda: Add turion as maintainer | Alex Rice |
| 2020-05-14 | iowa-stdlib: update homepage URL | Keshav Kini |
| 2020-05-14 | agda.iowa-stdlib: mark broken | Alex Rice |
| 2020-05-14 | agda: rework builder | Alex Rice |
