Name Last Modified Size
Parent Directory
repodata/ 27-Aug-2026 04:06
src/ 27-Aug-2026 04:06
x86_64/ 27-Aug-2026 04:06
home:lorenz:idris.repo 27-Aug-2026 04:06 304 Byte