Name Last Modified Size
Parent Directory
repodata/ 16-Sep-2025 07:52
src/ 16-Sep-2025 07:52
x86_64/ 16-Sep-2025 07:52
home:lorenz:idris.repo 16-Sep-2025 07:52 304 Byte