Name	Last Modified	Size
Parent Directory
repodata/	13-Jan-2026 13:49
src/	13-Jan-2026 13:49
x86_64/	13-Jan-2026 13:49
home:lorenz:idris.repo	13-Jan-2026 13:49	304 Byte

DB was synched from remote : 2026-01-30 22:35:05.640