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

NameLast ModifiedSizeType
../  Directory
d9aacc4c6f856468b598628ebfa4e502ecd66b697ca36d87fef30c788a252a26-other.xml.gz2026-Jan-26 07:20:35629.00B GZ Compressed Archive
16f0c7f3aea752b4a7f6391fb09fa8a28c1cc63f3caff297a135614b2ed8f59e-primary.xml.gz2026-Jan-26 07:20:351.31K GZ Compressed Archive
584d213fbd27fdb9c60153092d4729f7ae801fd021452459366bb87179c9f43f-filelists.xml.gz2026-Jan-26 07:20:3554.50K GZ Compressed Archive
repomd.xml2026-Jan-26 07:20:351.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project