packages feed

idris-1.3.3: test/idrisdoc004/expected.out

Interfaces are documented