packages feed

idris-0.9.13: test/reg040/expected

42