3 commits

Author	SHA1	Message	Date
Silvan Mosberger	ef0073410d	idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build	2018-07-02 15:39:52 +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