| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2020-11-01 | agda-categories: fix hash | Ingo Blechschmidt | 1 | -1/+1 |
| 2020-10-19 | agdaPackages.agda-categories: 1.3.1 -> 1.4 | Manuel Bärenz | 1 | -2/+2 |
| 2020-06-11 | agda-categories: 0.1 -> 0.1.3.1 | Alex Rice | 1 | -8/+3 |
| 2020-05-14 | Agda: Add turion as maintainer | Alex Rice | 1 | -1/+1 |
| 2020-05-14 | agda-categories: init at 0.1 | Alex Rice | 1 | -0/+28 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |