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

NameLast ModifiedSizeType
../  Directory
96dc18b828ce3e90e77ddd1b73653562794bef770582bfc678a1f20ad223ce02-other.xml.gz2026-Mar-29 10:25:07531.00B GZ Compressed Archive
b707db21f59521b1472385a9f8c0fe5ae0b04b72c3b378bbf96fc1ba607c5501-filelists.xml.gz2026-Mar-29 10:25:0757.46K GZ Compressed Archive
c995ae6e202198cc3991c826f9f94732123aa301376e31b5f9340dcda4736160-primary.xml.gz2026-Mar-29 10:25:071.34K GZ Compressed Archive
repomd.xml2026-Mar-29 10:25:071.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project