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

NameLast ModifiedSizeType
../  Directory
64633921df2b2471930aac68e58e512580e806559127cd0cf1c35dcd46f9556f-other.xml.gz2025-Sep-18 05:57:28629.00B GZ Compressed Archive
40e39235ee2cfdc14aefac950e6e7898cb79765df6a111d2d3143acabc21b3ce-primary.xml.gz2025-Sep-18 05:57:281.28K GZ Compressed Archive
fdc8373bd18a11f22e7970bbdd9aa3d9302329a638306039b44447e66cd208f5-filelists.xml.gz2025-Sep-18 05:57:2847.96K GZ Compressed Archive
repomd.xml2025-Sep-18 05:57:281.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project