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

../
151741a1c88c6613b5c3a85ea4b18697a2c11d3ea363106..> 06-Mar-2020 17:33                2987
52981492d050a71a83229dbbe9d680bc167db51e13a175c..> 06-Mar-2020 17:33               13523
ad10b4873ce81bfdb0606506e52b507bc3868f29963b954..> 06-Mar-2020 17:33               12159
repomd.xml                                         06-Mar-2020 17:33                1704
repomd.xml.asc                                     06-Mar-2020 17:33                 481
repomd.xml.key                                     06-Mar-2020 17:33                1093