Name Last Modified Size
Parent Directory
repodata/ 23-Jun-2026 20:39
src/ 23-Jun-2026 20:39
x86_64/ 23-Jun-2026 20:39
home:lorenz:idris.repo 23-Jun-2026 20:39 304 Byte