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

../
419830708dfbec2b69c2016e22ba6f1a4371592fa37e2b8..> 13-Dec-2025 01:37               29923
90eb546feef6974e4a905375bf076a1e021c7401c64d95d..> 13-Dec-2025 01:37                1073
c0eadc97526f07cbc3c028f0970fa606a1ce672dd7aa588..> 13-Dec-2025 01:37                4253
fdd781582f752116ee9104672c382ef979c67096bb7cab2..> 13-Dec-2025 01:37                 494
repomd.xml                                         13-Dec-2025 01:37                2937
repomd.xml.asc                                     13-Dec-2025 01:37                 481
repomd.xml.key                                     13-Dec-2025 01:37                1093