Name Last Modified Size
Parent Directory
repodata/ 12-Sep-2025 00:44
src/ 12-Sep-2025 00:44
x86_64/ 12-Sep-2025 00:44
home:lorenz:idris.repo 12-Sep-2025 00:44 304 Byte