aports - Main aports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	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