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

NameLast ModifiedSizeType
../  Directory
cc3ffde6e24e4bf3695ce8284695cdf3aa7482e20c04babd5f037c47266ffdfe-other.xml.gz2025-Jun-05 04:56:37821.00B GZ Compressed Archive
16d42ba2a1cf1dcaa4d54c8314c8f6022e935bf9cb2f026b4eb7b5aacb78271b-filelists.xml.gz2025-Jun-05 04:56:3756.06K GZ Compressed Archive
repomd.xml2025-Jun-05 04:56:371.52K XML File
6ec13eb275033ba16d801394b47a883bb657b0aa8dc5aa706a357eb218527bd0-primary.xml.gz2025-Jun-05 04:56:371.55K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build