aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris/cabal.config
Commit message (Expand)AuthorAgeFilesLines
* testing/idris: Fix build of idris with newer pkg versionsMitch Tishmack2017-10-271-4/+0
* testing/idris: use cabal freeze and sandbox for great goodJakub Jirutka2017-05-171-0/+109