Name	Last Modified	Size
Parent Directory
repodata/	08-Mar-2022 01:06
src/	08-Mar-2022 01:06
x86_64/	08-Mar-2022 01:06
home:lorenz:idris.repo	08-Mar-2022 01:06	301 Byte

Content was synched from remote : 2022-08-11 19:15:08.257