aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris/cabal.config
Commit message (Expand)AuthorAgeFilesLines
* testing/idris: upgrade to 1.3.2J0WI2020-04-101-68/+67
* testing/idris: upgrade to 1.3.0Mitch Tishmack2018-06-151-94/+88
* 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