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

NameLast ModifiedSizeType
../  Directory
7a26641a56d801b5d13af05e869b69ba548d249cf6b7da2659241937ff48c295-other.xml.gz2025-Dec-08 16:59:14630.00B GZ Compressed Archive
2251f11013183b359bb39b050eceba2c0b9657cb23b6e695db6af9f2a90a48b8-primary.xml.gz2025-Dec-08 16:59:141.29K GZ Compressed Archive
87afb1aefdf2f27ea56dc1e7042e6885807e4a3004d135e766bc186131ed6d09-filelists.xml.gz2025-Dec-08 16:59:1451.94K GZ Compressed Archive
repomd.xml2025-Dec-08 16:59:141.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project