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

NameLast ModifiedSizeType
../  Directory
b08980ea8b0ce14fc84ece7f9cd01edc0847bb91190e4a94e45b06aacfe28075-filelists.xml.gz2025-Nov-23 18:23:30102.61K GZ Compressed Archive
6d643e2f9af01ddb1539255d54272b44a8d45e76296d63f4f2317c8747252407-other.xml.gz2025-Nov-23 18:23:30766.00B GZ Compressed Archive
035789c60bef5486a324010001cb9142014860f6e56c33023110d9dd959dd154-primary.xml.gz2025-Nov-23 18:23:301.58K GZ Compressed Archive
repomd.xml2025-Nov-23 18:23:301.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project