Name	Last Modified	Size
Parent Directory
repodata/	29-Mar-2026 01:45
src/	29-Mar-2026 01:45
x86_64/	29-Mar-2026 01:45
home:lorenz:idris.repo	29-Mar-2026 01:45	304 Byte

DB was synched from remote : 2026-04-02 18:48:55.273