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

../
repodata/                                          06-Aug-2025 05:02                   -
x86_64/                                            06-Aug-2025 05:02                   -
home:lorenz:idris.repo                             06-Aug-2025 05:02                 304