Name	Last Modified	Size
Parent Directory
repodata/	19-Apr-2024 01:31
src/	19-Apr-2024 01:31
x86_64/	19-Apr-2024 01:31
home:lorenz:idris.repo	19-Apr-2024 01:31	304 Byte

Content was synched from remote : 2024-06-04 00:47:38.284