Index of /pub/opensuse/repositories/home:/lorenz:/idris/openSUSE_Leap_15.1/

../
repodata/                                          06-Mar-2020 17:33                   -
src/                                               06-Mar-2020 17:33                   -
x86_64/                                            06-Mar-2020 17:33                   -
home:lorenz:idris.repo                             06-Mar-2020 17:33                 299