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

NameLast ModifiedSizeType
../  Directory
54ecf0db27ae14e898a154d0b5da08f16e6825bda1077f8bca2f009d7304b363-primary.xml.gz2025-Sep-18 05:57:341.29K GZ Compressed Archive
116462c4dcaa892bd7bdf52f76bc51d3052c56caf521ea35a273d0837b8dab2c-filelists.xml.gz2025-Sep-18 05:57:3447.96K GZ Compressed Archive
d312b65da85eabb546bf947db4c5e08a2ded6c2677b059d9e8dfced574251e89-other.xml.gz2025-Sep-18 05:57:34628.00B GZ Compressed Archive
repomd.xml2025-Sep-18 05:57:341.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project