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

../
repodata/                                          29-Mar-2026 01:45                   -
src/                                               29-Mar-2026 01:45                   -
x86_64/                                            29-Mar-2026 01:45                   -
home:lorenz:idris.repo                             29-Mar-2026 01:45                 304