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

NameLast ModifiedSizeType
../  Directory
3ddc30f12e9beb7921ea8b9e3348e262bc50f434f40f6fc70d5174271b2d24b4-primary.xml.gz2026-Feb-25 16:49:401.31K GZ Compressed Archive
cf2d80a1625c0efc0e07a9087b819f47682d011db404e6621260689f38780867-other.xml.gz2026-Feb-25 16:49:40620.00B GZ Compressed Archive
002f2786fff289ed4111dbda269d09065d0b9f094390b0953c7091852b0ea545-filelists.xml.gz2026-Feb-25 16:49:4055.62K GZ Compressed Archive
repomd.xml2026-Feb-25 16:49:401.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project