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