Name	Last Modified	Size
Parent Directory
repodata/	15-May-2023 23:48
src/	15-May-2023 23:48
x86_64/	15-May-2023 23:48
home:lorenz:idris.repo	15-May-2023 23:48	304 Byte

DB was synched from remote : 2023-05-23 05:12:17.339