Index of /api/pulp-content/public-copr/petersen/idris2-pack/fedora-44-x86_64/repodata/

../
34f9881d47c1694ee2bc8d332d13b8b89ce76ade5c8d4c8504c4875a2f913985-filelists.xml.gz                   21-Mar-2026 14:23  3.8 kB
48c51e3a2b10f0dfde60464fa5d67a441b121fe02230ec0bebfe7082e6de33d6-primary.xml.gz                     21-Mar-2026 14:23  4.9 kB
af367278b8f3ce6096f46d1025f2fbda199487d53bd24b86f03917ba239ec12d-other.xml.gz                       21-Mar-2026 14:23  1.5 kB
repomd.xml                                                                                          21-Mar-2026 14:23  1.6 kB