Name Last Modified Size
Parent Directory
repodata/ 06-Feb-2025 02:41
src/ 06-Feb-2025 02:41
x86_64/ 06-Feb-2025 02:41
home:lorenz:idris.repo 06-Feb-2025 02:41 304 Byte