packages feed

idris-0.9.11: test/basic002/expected

[False, True, False, True, False, True]