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

NameLast ModifiedSizeType
../  Directory
55a4d477535b63b2c7ba96357b37c4c13e3a35d7a29fd0a7e41c141ab2df5407-primary.xml.gz2025-Apr-04 05:13:501.83K GZ Compressed Archive
1835bd333f0fb0b99b1286cf678565383dd5a9cabe26d048f5462916e861435f-other.xml.gz2025-Apr-04 05:13:50998.00B GZ Compressed Archive
d2d37e249f347ce85f2bf2ac2ad5ef5e9ff8e3c7e86d7954e8fc098002412901-filelists.xml.gz2025-Apr-04 05:13:5040.10K GZ Compressed Archive
repomd.xml2025-Apr-04 05:13:501.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build