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

NameLast ModifiedSizeType
../  Directory
0ce4b529d0974028987d184df019e7479e0887613a1d3a24c4c7316a4ed8b155-filelists.xml.gz2025-Oct-22 05:43:5050.99K GZ Compressed Archive
a7edc9a292ab6335a35d2d728e7d439ad14a5f71e54386a37664d77e5ba6a3a9-primary.xml.gz2025-Oct-22 05:43:501.28K GZ Compressed Archive
470b291c95d094d4ada08229d26fbe0d5abd881925fb0c5d4752b0749587a68c-other.xml.gz2025-Oct-22 05:43:50629.00B GZ Compressed Archive
repomd.xml2025-Oct-22 05:43:501.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project