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

NameLast ModifiedSizeType
../  Directory
bd6e2d5a696bc03ba9f7f493b0511b573c6bc95cc5ce87080af8753f4b85db1a-other.xml.gz2025-Apr-04 05:13:531005.00B GZ Compressed Archive
ecf2aa59ff6011596719bcd19d39e13baaaa5cc6c80109fd7bb5a596f23fd214-filelists.xml.gz2025-Apr-04 05:13:5340.10K GZ Compressed Archive
b9a9c66c4b67a59d136dcb2be26a07c9a02a275d4a97b48d7b41a760c76782b0-primary.xml.gz2025-Apr-04 05:13:531.83K GZ Compressed Archive
repomd.xml2025-Apr-04 05:13:531.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build