Directory listing for idris-1.0 source tarball

idris-1.0/test/records005/