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

../
openSUSE_Leap_15.1/                                06-Mar-2020 17:33                   -
openSUSE_Tumbleweed/                               13-Jan-2026 13:49                   -