Name	Last Modified	Size
Parent Directory
repodata/	23-Jun-2026 20:39
src/	23-Jun-2026 20:39
x86_64/	23-Jun-2026 20:39
home:lorenz:idris.repo	23-Jun-2026 20:39	304 Byte

DB was synched from remote : 2026-06-24 19:15:55.937