Name Last Modified Size
Parent Directory
repodata/ 13-Dec-2025 01:37
src/ 13-Dec-2025 01:37
x86_64/ 13-Dec-2025 01:37
home:lorenz:idris.repo 13-Dec-2025 01:37 304 Byte