Index of /results/petersen/lean4/fedora-42-x86_64/repodata/

NameLast ModifiedSizeType
../  Directory
ed1e96c4b60cdb30f24471426256889bc23c3577694482978b41b57d3e751c31-primary.xml.gz2025-Dec-08 16:59:181.28K GZ Compressed Archive
b3cb5b98b067348401d8e6070962a8165f8c612343792cbef6d6afe994029011-other.xml.gz2025-Dec-08 16:59:18629.00B GZ Compressed Archive
0ab6a18ae79d560c2cc2429745a7c8f6f95822d86ae71ad5c4c1d91205440941-filelists.xml.gz2025-Dec-08 16:59:1851.86K GZ Compressed Archive
repomd.xml2025-Dec-08 16:59:181.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project