Name Last Modified Size
Parent Directory
repodata/ 23-Oct-2025 21:53
src/ 23-Oct-2025 21:53
x86_64/ 23-Oct-2025 21:53
home:lorenz:idris.repo 23-Oct-2025 21:53 304 Byte