5 Commits

Author SHA1 Message Date
Richard Kuhnt
81dd8e7515 idris: Update to version 1.3.1 2018-10-23 13:00:26 +00:00
Tamás Tóth
35654fdd7c idris: Replace .exe by .7z in app manifest urls (#2477) 2018-08-08 21:17:15 +02:00
Richard Kuhnt
f45dd12d30 idris: fix hash (closes #2308) 2018-06-15 19:42:42 +02:00
Tamás Tóth
f6a718cab9 Update idris to version 1.3.0 2018-05-26 23:04:13 +02:00
Tamás Tóth
5194ba1be0 Add idris 2018-05-25 23:34:11 +02:00