Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-09-18 | build-idris-package: ipkgName | TG x | 1 | -0/+1 |
2018-07-02 | idrisPackages: Clean up packages | Silvan Mosberger | 1 | -5/+1 |
2018-03-20 | idrisPackages: add packages | Márton Boros | 1 | -0/+30 |
index : mirror/nixpkgs | ||
Nix packages collection |
about summary refs log tree commit diff |
Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-09-18 | build-idris-package: ipkgName | TG x | 1 | -0/+1 |
2018-07-02 | idrisPackages: Clean up packages | Silvan Mosberger | 1 | -5/+1 |
2018-03-20 | idrisPackages: add packages | Márton Boros | 1 | -0/+30 |