Name	Last Modified	Size
Parent Directory
repodata/	12-Jan-2025 09:02
src/	12-Jan-2025 09:02
x86_64/	12-Jan-2025 09:02
home:lorenz:idris.repo	12-Jan-2025 09:02	304 Byte

DB was synched from remote : 2025-01-18 06:31:43.928