Name	Last Modified	Size
Parent Directory
repodata/	06-Aug-2025 05:02
src/	06-Aug-2025 05:02
x86_64/	06-Aug-2025 05:02
home:lorenz:idris.repo	06-Aug-2025 05:02	304 Byte

DB was synched from remote : 2025-08-10 08:40:27.344