| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | testing/idris: upgrade to 1.3.2 | J0WI | 2020-04-10 | 1 | -68/+67 |
| * | testing/idris: upgrade to 1.3.0 | Mitch Tishmack | 2018-06-15 | 1 | -94/+88 |
| * | testing/idris: Fix build of idris with newer pkg versions | Mitch Tishmack | 2017-10-27 | 1 | -4/+0 |
| * | testing/idris: use cabal freeze and sandbox for great good | Jakub Jirutka | 2017-05-17 | 1 | -0/+109 |
 |
index : aports | |
| Main aports tree | gitolite |
| aboutsummaryrefslogtreecommitdiffstats |