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

NameLast ModifiedSizeType
../  Directory
06dff251ca8cc634c7fc16fadfe9d2f0cbf6704e7989ea816f0c186ff41552c3-primary.xml.gz2025-Dec-08 16:59:151.31K GZ Compressed Archive
de566670b57cb3bde1d8bc8ccb9f17155720261e1dd17afff50599eb3a777e9b-filelists.xml.gz2025-Dec-08 16:59:1551.95K GZ Compressed Archive
abed38a589c089ff5bb4f9e58808e84ccc7c89e1b1b3989a888993a2212821dc-other.xml.gz2025-Dec-08 16:59:15630.00B GZ Compressed Archive
repomd.xml2025-Dec-08 16:59:151.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project