packages feed

idris-1.3.3: test/docs004/input.in

:doc MkFoo
:doc bar
:doc baz