| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | testing: (Bulk change) Update urls to https using HTTPS Everywhere and bump p... | J0WI | 2018-10-06 | 1 | -2/+2 |
| * | testing/idris: upgrade to 1.3.0 | Mitch Tishmack | 2018-06-15 | 1 | -7/+13 |
| * | [various]: unify names of licenses according to SPDX | Jakub Jirutka | 2017-12-30 | 1 | -1/+1 |
| * | testing/idris: disable on armhf due to build failure | Jakub Jirutka | 2017-10-29 | 1 | -2/+3 |
| * | testing/idris: bump release, disable building of profiled objects | Mitch Tishmack | 2017-10-27 | 1 | -1/+3 |
| * | testing/idris: Fix build of idris with newer pkg versions | Mitch Tishmack | 2017-10-27 | 1 | -14/+59 |
| * | testing/idris: Remove incorrect comments re: cabal and validation | Mitch Tishmack | 2017-10-27 | 1 | -5/+0 |
| * | testing/idris: disable on armhf. does not build | Natanael Copa | 2017-05-22 | 1 | -1/+1 |
| * | testing/idris: use cabal freeze and sandbox for great good | Jakub Jirutka | 2017-05-17 | 1 | -28/+68 |
| * | testing/idris: fix and improve abuild | Jakub Jirutka | 2017-05-17 | 1 | -25/+32 |
| * | testing/idris: new aport | Mitch Tishmack | 2017-05-17 | 1 | -0/+69 |
 |
index : aports | |
| Main aports tree | gitolite |
| aboutsummaryrefslogtreecommitdiffstats |