Name Last Modified Size
Parent Directory
repodata/ 30-Mar-2025 21:24
src/ 30-Mar-2025 21:24
x86_64/ 30-Mar-2025 21:24
home:lorenz:idris.repo 30-Mar-2025 21:24 304 Byte