Name	Last Modified	Size
Parent Directory
repodata/	23-Oct-2025 21:53
src/	23-Oct-2025 21:53
x86_64/	23-Oct-2025 21:53
home:lorenz:idris.repo	23-Oct-2025 21:53	304 Byte

DB was synched from remote : 2025-10-25 06:40:09.006