Index of /pub/opensuse/repositories/home:/lorenz:/idris/openSUSE_Tumbleweed/

../
repodata/                                          15-Feb-2026 09:08                   -
src/                                               15-Feb-2026 09:08                   -
x86_64/                                            15-Feb-2026 09:08                   -
home:lorenz:idris.repo                             15-Feb-2026 09:08                 304