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

NameLast ModifiedSizeType
../  Directory
9bd65f3ab4a73b30d13b194e888d7f750699d0a56e7cec0f4e4f8ac800cd60e2-primary.xml.gz2026-Sep-17 17:16:471.66K GZ Compressed Archive
1e6abebf88f8da920bb3867a3003326aae06a702642946a21b2df75e5c2f3af6-other.xml.gz2026-Sep-17 17:16:47688.00B GZ Compressed Archive
cf123d1d9d3e424e83e021562613df46fe0b7242914d142edef0a7d8a7bfe144-filelists.xml.gz2026-Sep-17 17:16:47149.51K GZ Compressed Archive
repomd.xml2026-Sep-17 17:16:471.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project