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

DB was synched from remote : 2026-07-08 13:37:18.667