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

../
04f69b78bc50568177a8d2f310d06b1df1c83c6113ae4ed3fa641985edcb52fd-other.xml.gz                       21-Mar-2026 14:21  1.5 kB
5ca7d8b4be66fbda79baacdc5937f27780c78c9098a3801bfad94e5bfad13312-filelists.xml.gz                   21-Mar-2026 14:21  3.8 kB
74048efda548b7e02192f8a1ab416b8ef3e74f8062f0d0cdbf71426c823ae56b-primary.xml.gz                     21-Mar-2026 14:21  4.9 kB
repomd.xml                                                                                          21-Mar-2026 14:21  1.6 kB