Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | testing/idris: disable on armhf. does not build | Natanael Copa | 2017-05-22 | 1 | -1/+1 |
* | testing/idris: use cabal freeze and sandbox for great good | Jakub Jirutka | 2017-05-17 | 2 | -28/+177 |
* | testing/idris: fix and improve abuild | Jakub Jirutka | 2017-05-17 | 1 | -25/+32 |
* | testing/idris: new aport | Mitch Tishmack | 2017-05-17 | 1 | -0/+69 |