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

NameLast ModifiedSizeType
../  Directory
dcd9267eecf5e3c06a02b12d1254e93fe418e3419257aec96a2743ab26f6a613-filelists.xml.gz2025-Dec-23 09:18:3754.51K GZ Compressed Archive
08d3f8056e5e70e95c806618da583866f174af20fcddd7d93e83404ab42ef2c9-primary.xml.gz2025-Dec-23 09:18:371.35K GZ Compressed Archive
63ed421990be9af138319a496cd0b543ccd627b1f832a6ea340a0aae6824854d-other.xml.gz2025-Dec-23 09:18:37644.00B GZ Compressed Archive
repomd.xml2025-Dec-23 09:18:371.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project