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

../
repodata/                                          17-Sep-2025 13:44                   -
x86_64/                                            17-Sep-2025 13:44                   -
home:lorenz:idris.repo                             16-Sep-2025 07:52                 304