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

NameLast ModifiedSizeType
../  Directory
2a19ac00b383fe860ea7fbd4489c9f719e12ef0a416d1f5262741b7bb74a98e9-other.xml.gz2026-Jun-15 09:35:54535.00B GZ Compressed Archive
5be8f6261926bd68f67f7639c2a41dabd18f30e8740ff39c12915a6d361ab19e-filelists.xml.gz2026-Jun-15 09:35:5459.99K GZ Compressed Archive
0bcb69d9fe09437ff2d2a3684843ea18c1b5b6b775704394d34ca2445e76a0f7-primary.xml.gz2026-Jun-15 09:35:541.36K GZ Compressed Archive
repomd.xml2026-Jun-15 09:35:541.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project