Name	Last Modified	Size
Parent Directory
repodata/	13-Dec-2025 01:37
src/	13-Dec-2025 01:37
x86_64/	13-Dec-2025 01:37
home:lorenz:idris.repo	13-Dec-2025 01:37	304 Byte

DB was synched from remote : 2026-01-01 05:53:25.876