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

DB was synched from remote : 2026-03-06 17:05:53.321