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

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