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

DB was synched from remote : 2025-02-17 00:31:19.873