Commit Graph

6 Commits

Author SHA1 Message Date
Daiderd Jordan
b7ddbd52bd
treewide: replace SRI hashes 2020-06-01 15:24:19 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Steven Shaw
5bb88bbce2
idrisPackages.sdl2: 2018-01-19 -> 0.1.1
Update to latest release which unbreaks the package.
2019-07-28 07:37:52 +10:00
Silvan Mosberger
df6974cff2
idrisPackages.{sdl,sdl2}: Mark as broken 2018-07-02 06:43:15 +02:00
Silvan Mosberger
b73f540beb
idrisPackages: Clean up packages 2018-07-02 06:13:01 +02:00
Márton Boros
23ee7c9d8d idrisPackages: add packages 2018-03-20 07:16:21 +01:00