idris-lang/Idris-dev — pull request #798 by SimonJF (2014-01-25 18:23:48+00:00)
Title: Add IPKG for SimpleParser

Add IPKG file for SimpleParser