aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris/APKBUILD
Commit message (Expand)AuthorAgeFilesLines
* 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-271-14/+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-171-28/+68
* testing/idris: fix and improve abuildJakub Jirutka2017-05-171-25/+32
* testing/idris: new aportMitch Tishmack2017-05-171-0/+69