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

NameLast ModifiedSizeType
../  Directory
aec3990d45ee29f2105fd0bbc1ca2e27ef7268d87a44b168d24adbb75b94e740-other.xml.gz2024-Nov-04 08:16:09958.00B GZ Compressed Archive
05a425804d54947562093266bd091594b550ff7ffcefbce75980e7ce9af704a7-filelists.xml.gz2024-Nov-04 08:16:0935.42K GZ Compressed Archive
463d01d0d7e256d307a7d4f911e5abea0a0c0fa3cb1fcc1d0b85a186286e6fe8-primary.xml.gz2024-Nov-04 08:16:091.87K GZ Compressed Archive
repomd.xml2024-Nov-04 08:16:091.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build