summary refs log tree commit diff
path: root/pkgs/development/idris-modules/derive.nix
Commit message (Expand)AuthorAge
* idrisPackages.{categories,derive}: Use upstream instead of forksSilvan Mosberger2018-10-26
* idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix buildSilvan Mosberger2018-07-02
* idrisPackages: Clean up packagesSilvan Mosberger2018-07-02
* idrisPackages: add packagesMárton Boros2018-03-20