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