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

NameLast ModifiedSizeType
../  Directory
12cf9ee63603b4feb815a6d2967f990ddd5173857015a808d434f7dc73a83ef6-other.xml.gz2025-Nov-23 21:22:40769.00B GZ Compressed Archive
fbe178dd787f89917a4aa9835dc7bdf07f8e16556ee14e9c65b29c1806bcfd2a-filelists.xml.gz2025-Nov-23 21:22:40102.62K GZ Compressed Archive
693837c1b534783243a219f994cffea09848467798f8194fb035c55cb9d0a37a-primary.xml.gz2025-Nov-23 21:22:401.58K GZ Compressed Archive
repomd.xml2025-Nov-23 21:22:401.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project