Name Last Modified Size
Parent Directory
repodata/ 15-Feb-2026 09:08
src/ 15-Feb-2026 09:08
x86_64/ 15-Feb-2026 09:08
home:lorenz:idris.repo 15-Feb-2026 09:08 304 Byte