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

NameLast ModifiedSizeType
../  Directory
1762a5a8e432fe59a2d114836d4cb10129fc70851f578c3689757aa26dbe917d-other.xml.gz2026-Feb-25 16:49:36617.00B GZ Compressed Archive
74e34a8760948e28bac296dedc7aaaf28ab2bc7acb402316250e0b62ff062f84-filelists.xml.gz2026-Feb-25 16:49:3655.61K GZ Compressed Archive
4627504d584c42468423e5e629209201dc22da60a888bba2ee279876bc15c744-primary.xml.gz2026-Feb-25 16:49:361.30K GZ Compressed Archive
repomd.xml2026-Feb-25 16:49:361.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project