packages feed

idris-1.3.3: test/docs005/input.in

:doc Foobar
:doc NewFoo