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


../
repodata/                                          13-Dec-2024 19:12                   -
src/                                               13-Dec-2024 19:12                   -
x86_64/                                            13-Dec-2024 19:12                   -
home:lorenz:idris.repo                             13-Dec-2024 19:12                 304