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

../
Packages/                                                                                           21-Mar-2026 14:23  909.2 kB
repodata/                                                                                           21-Mar-2026 14:23  1.6 kB