Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [various]: unify names of licenses according to SPDX | Jakub Jirutka | 2017-12-30 | 1 | -1/+1 |
* | testing/idris: disable on armhf due to build failure | Jakub Jirutka | 2017-10-29 | 1 | -2/+3 |
* | testing/idris: bump release, disable building of profiled objects | Mitch Tishmack | 2017-10-27 | 1 | -1/+3 |
* | testing/idris: Fix build of idris with newer pkg versions | Mitch Tishmack | 2017-10-27 | 2 | -18/+59 |
* | testing/idris: Remove incorrect comments re: cabal and validation | Mitch Tishmack | 2017-10-27 | 1 | -5/+0 |
* | 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 |