Index of /results/petersen/lean4/fedora-43-aarch64/repodata/

NameLast ModifiedSizeType
../  Directory
bb6e684586185e304fc92c567c56fb27c488f13a3570eb77b394d614c4198497-other.xml.gz2026-Jan-26 07:20:30631.00B GZ Compressed Archive
177b0b99e01781990ae5371c6170ad85c8db9088775e3ab6ba641ac66f01aced-filelists.xml.gz2026-Jan-26 07:20:3054.50K GZ Compressed Archive
a4d9a816eb4c5123e54e4ae118dbb4595d1bb2c97ff91d2db37abda3eb85a52c-primary.xml.gz2026-Jan-26 07:20:301.31K GZ Compressed Archive
repomd.xml2026-Jan-26 07:20:301.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project