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

NameLast ModifiedSizeType
../  Directory
f661441cc676cc6794d318b267c473da3d16df02fec395c38d6005a865a3692e-filelists.xml.gz2025-Dec-08 16:59:1551.94K GZ Compressed Archive
55e76ffb12dc58c2c1cc7ad09d9f03783aab76af69916c151383e8a0c01364c4-primary.xml.gz2025-Dec-08 16:59:151.28K GZ Compressed Archive
688005c92db464ca009d5865aaedd885fadc14ab0e362fe650728794b5f315c6-other.xml.gz2025-Dec-08 16:59:15631.00B GZ Compressed Archive
repomd.xml2025-Dec-08 16:59:151.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project