Failure: devel/gps v5.0.1_1
Success: lang/gnatdroid-armv5 v20120301
Success: lang/gnatdroid-armv7 v20120301