Name Last Modified Size
Parent Directory
repodata/ 04-Oct-2026 12:38
src/ 04-Oct-2026 12:38
x86_64/ 04-Oct-2026 12:38
home:lorenz:idris.repo 04-Oct-2026 12:38 304 Byte