summary refs log tree commit diff
path: root/pkgs/development/idris-modules/categories.nix
Commit message (Expand)AuthorAge
* idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
* idrisPackages: Clean up packagesSilvan Mosberger2018-07-02
* idrisPackages: add packagesMárton Boros2018-03-20