Name Last Modified Size
Parent Directory
repodata/ 13-Jan-2026 13:49
src/ 13-Jan-2026 13:49
x86_64/ 13-Jan-2026 13:49
home:lorenz:idris.repo 13-Jan-2026 13:49 304 Byte