Name Last Modified Size
Parent Directory
repodata/ 17-Jul-2025 19:42
src/ 17-Jul-2025 19:42
x86_64/ 17-Jul-2025 19:42
home:lorenz:idris.repo 17-Jul-2025 19:42 304 Byte