Name Last Modified Size
Parent Directory
repodata/ 25-Feb-2024 11:28
src/ 25-Feb-2024 11:28
x86_64/ 25-Feb-2024 11:28
home:lorenz:idris.repo 25-Feb-2024 11:28 304 Byte