Name Last Modified Size
Parent Directory
repodata/ 12-Mar-2025 03:50
src/ 12-Mar-2025 03:50
x86_64/ 12-Mar-2025 03:50
home:lorenz:idris.repo 12-Mar-2025 03:50 304 Byte