packages feed

idris-0.9.10: test/test033/expected

True