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

NameLast ModifiedSizeType
../  Directory
2b54d4cd181a4d7c42f292914eacc9c5b5a0869ecd8db9878dabca9b693ea556-primary.xml.gz2025-Nov-23 18:57:321.58K GZ Compressed Archive
a66019d5f26aa791f0f24f63d441c0c52c5c308c5cd02fe96b0b6d3a23df913d-filelists.xml.gz2025-Nov-23 18:57:32102.62K GZ Compressed Archive
repomd.xml2025-Nov-23 18:57:321.52K XML File
d7d4f3a6eaf9aa954185aa8b075f7c3492b99e67ec56ad7fd612e898c71a0749-other.xml.gz2025-Nov-23 18:57:32772.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project