aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris
Commit message (Expand)AuthorAgeFilesLines
* testing/idris: disable on armhf. does not buildNatanael Copa2017-05-221-1/+1
* testing/idris: use cabal freeze and sandbox for great goodJakub Jirutka2017-05-172-28/+177
* testing/idris: fix and improve abuildJakub Jirutka2017-05-171-25/+32
* testing/idris: new aportMitch Tishmack2017-05-171-0/+69