summary refs log tree commit diff
path: root/pkgs/development/idris-modules/sdl.nix
Commit message (Expand)AuthorAge
* idrisPackages.{sdl,sdl2}: Mark as brokenSilvan Mosberger2018-07-02
* idrisPackages: Clean up packagesSilvan Mosberger2018-07-02
* idrisPackages: add packagesMárton Boros2018-03-20