packages feed

idris-1.2.0: test/st004/expected

# test004:
--test IO:
File Not Found
--test IOExcept:
File Not Found
()