path: root/testing/idris
Commit message (Expand)AuthorAgeFilesLines
* testing: (Bulk change) Update urls to https using HTTPS Everywhere and bump p...J0WI2018-10-061-2/+2
* testing/idris: upgrade to 1.3.0Mitch Tishmack2018-06-152-101/+101
* [various]: unify names of licenses according to SPDXJakub Jirutka2017-12-301-1/+1
* testing/idris: disable on armhf due to build failureJakub Jirutka2017-10-291-2/+3
* testing/idris: bump release, disable building of profiled objectsMitch Tishmack2017-10-271-1/+3
* testing/idris: Fix build of idris with newer pkg versionsMitch Tishmack2017-10-272-18/+59
* testing/idris: Remove incorrect comments re: cabal and validationMitch Tishmack2017-10-271-5/+0
* 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