packages feed

idris-1.3.3: test/idrisdoc006/expected.out

IdrisDoc file written
A.fully.Qualified.NAME.html
B.html
A.fully.Qualified.NAME is in the index
B is in the index