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

NameLast ModifiedSizeType
../  Directory
81a26b147f2b012121e56f52c561f41c6f0dd4d6f8ca64755f6a2b4131ef18d1-primary.xml.gz2025-Mar-07 05:17:421.84K GZ Compressed Archive
00fbafa8f853d854a588ee34da81e69348f754bc387c20479771b1b7974fcadb-filelists.xml.gz2025-Mar-07 05:17:4238.56K GZ Compressed Archive
514d73104025be860a58b811eb5d812c3f43015c4252dde832d55e148f8ac75a-other.xml.gz2025-Mar-07 05:17:421.02K GZ Compressed Archive
repomd.xml2025-Mar-07 05:17:421.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build