packages feed

idris-0.9.13: test/idrisdoc007/expected

Exit status (expects 1): 1