| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-06 | testing: (Bulk change) Update urls to https using HTTPS Everywhere and bump p... | J0WI |
| 2018-06-15 | testing/idris: upgrade to 1.3.0 | Mitch Tishmack |
| 2017-12-30 | [various]: unify names of licenses according to SPDX | Jakub Jirutka |
| 2017-10-29 | testing/idris: disable on armhf due to build failure | Jakub Jirutka |
| 2017-10-27 | testing/idris: bump release, disable building of profiled objects | Mitch Tishmack |
| 2017-10-27 | testing/idris: Fix build of idris with newer pkg versions | Mitch Tishmack |
| 2017-10-27 | testing/idris: Remove incorrect comments re: cabal and validation | Mitch Tishmack |
| 2017-05-22 | testing/idris: disable on armhf. does not build | Natanael Copa |
| 2017-05-17 | testing/idris: use cabal freeze and sandbox for great good | Jakub Jirutka |
| 2017-05-17 | testing/idris: fix and improve abuild | Jakub Jirutka |
| 2017-05-17 | testing/idris: new aport | Mitch Tishmack |
 |
index : aports | |
| Alpine packages build scripts | cos |
| summaryrefslogtreecommitdiff |