4 Commits

Author SHA1 Message Date
Natanael Copa
9f9567bc47 testing/idris: disable on armhf. does not build 2017-05-22 15:18:58 +00:00
Jakub Jirutka
bf5f52db45 testing/idris: use cabal freeze and sandbox for great good 2017-05-17 13:38:42 +02:00
Jakub Jirutka
735829e7c6 testing/idris: fix and improve abuild 2017-05-17 13:38:42 +02:00
Mitch Tishmack
92cf3505b3 testing/idris: new aport 2017-05-17 13:38:42 +02:00