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

NameLast ModifiedSizeType
../  Directory
77bf2325fe1b96f640bf56b7238f2ca4bdf5be077f107ddb8b082f380cfced56-filelists.xml.gz2025-Nov-23 21:21:12102.62K GZ Compressed Archive
50e77641d7f31400d6538bc2059e90ba4b380db23e71c98a61c51ea9e6624a78-primary.xml.gz2025-Nov-23 21:21:121.61K GZ Compressed Archive
585c869045e9f3d25dd94b66a25436d289c11885081a0bc98d5784b8c307f002-other.xml.gz2025-Nov-23 21:21:12768.00B GZ Compressed Archive
repomd.xml2025-Nov-23 21:21:121.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project