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

../
repodata/                                          30-Oct-2023 05:32       -
x86_64/                                            30-Oct-2023 05:32       -
home:lorenz:idris.repo                             30-Oct-2023 05:32     304