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

../
334079294f57a825a58b68b0d14283e02af791edd5228f3..> 06-Aug-2024 02:25               29896
602d553eb64a483c8727822454b68de6fdc70c87fc3e19b..> 06-Aug-2024 02:25                4276
91aea3b06bb694015ff1f501cf5b637ed0884793d75ba20..> 06-Aug-2024 02:25                1074
dedcde54b2e1990b5849097f76dfe28c56b996e8c996a2d..> 06-Aug-2024 02:25                 497
repomd.xml                                         06-Aug-2024 02:25                2937
repomd.xml.asc                                     06-Aug-2024 02:25                 481
repomd.xml.key                                     06-Aug-2024 02:25                1093