| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-07-02 | idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build | Silvan Mosberger | 1 | -3/+6 |
| 2018-07-02 | idrisPackages: Clean up packages | Silvan Mosberger | 1 | -5/+0 |
| 2018-03-20 | idrisPackages: add packages | Márton Boros | 1 | -0/+26 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |