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
DB was synched from remote : 2025-07-28 22:22:21.6