Index of /results/petersen/lean4/fedora-41-aarch64/repodata/

NameLast ModifiedSizeType
../  Directory
206eca27cdc3363593c0b002f3e91b1856269cec4311510a974e605bab9a356e-filelists.xml.gz2025-Dec-08 16:59:1751.94K GZ Compressed Archive
ffc39ab6051444184e6a97dba1f2e74413422ce6359b42415e243a80e02ab620-other.xml.gz2025-Dec-08 16:59:17628.00B GZ Compressed Archive
00c202875b6be2b0fa07f4cdc146ae180cfa429dbd8483d2ae11c8fd343ddc3c-primary.xml.gz2025-Dec-08 16:59:171.29K GZ Compressed Archive
repomd.xml2025-Dec-08 16:59:171.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project