Name Last Modified Size
Parent Directory
repodata/ 31-Jul-2026 05:52
src/ 31-Jul-2026 05:52
x86_64/ 31-Jul-2026 05:52
home:lorenz:idris.repo 31-Jul-2026 05:52 304 Byte