Name	Last Modified	Size
Parent Directory
repodata/	04-Oct-2026 12:38
src/	04-Oct-2026 12:38
x86_64/	04-Oct-2026 12:38
home:lorenz:idris.repo	04-Oct-2026 12:38	304 Byte

DB was synched from remote : 2026-10-11 05:15:24.790