edwinb/SDL-idris — pull request #4 by david-christiansen (2014-05-07 15:49:25+00:00)
Title: Make work with neweffects -> effects switch

Fixed the .ipkg file for invaders