Name Last Modified Size
Parent Directory
repodata/ 05-Mar-2026 07:16
src/ 05-Mar-2026 07:16
x86_64/ 05-Mar-2026 07:16
home:lorenz:idris.repo 05-Mar-2026 07:16 304 Byte