idris-lang/Idris-dev — pull request #1417 by david-christiansen (2014-07-23 07:07:51+00:00)
Title: List packages in Travis

This is to help diagnose build errors due to package bounds