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

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