aports - Main aports tree

	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	2	-101/+101
*	[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	2	-18/+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	2	-28/+177
*	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