packages feed

idris-0.9.16: test/basic012/expected

4242
[1, 2, 3, 4, 5, 6]