aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/idris-modules/sdl2.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* treewide: replace SRI hashesDaiderd Jordan2020-06-011-1/+1
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-101-2/+2
* idrisPackages.sdl2: 2018-01-19 -> 0.1.1Steven Shaw2019-07-281-8/+15
* idrisPackages.{sdl,sdl2}: Mark as brokenSilvan Mosberger2018-07-021-0/+2
* idrisPackages: Clean up packagesSilvan Mosberger2018-07-021-6/+2
* idrisPackages: add packagesMárton Boros2018-03-201-0/+33