packages feed

idris-0.9.11: test/reg025/expected

l