Name	Last Modified	Size
Parent Directory
repodata/	12-Oct-2024 13:17
src/	12-Oct-2024 13:17
x86_64/	12-Oct-2024 13:17
home:lorenz:idris.repo	12-Oct-2024 13:17	304 Byte

DB was synched from remote : 2024-10-30 23:59:28.17