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


../
repodata/                                          10-Aug-2025 07:39                   -
x86_64/                                            10-Aug-2025 07:39                   -
home:lorenz:idris.repo                             17-Jul-2025 19:42                 304