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

NameLast ModifiedSizeType
../  Directory
3030d1da21feb9cf5dcc4ed3f33d4a08218b34555a5861182584bd13f866c7f5-primary.xml.gz2025-May-07 15:11:451.27K GZ Compressed Archive
e0172d78fa49cd0004081124f7f678c9dd811fd61f92db5464eece369a35e585-filelists.xml.gz2025-May-07 15:11:4524.56K GZ Compressed Archive
55904b9d766bba8bf7d6aaf4afb1c0e1a90b23ef9f3cb055b59da3e7396989ed-other.xml.gz2025-May-07 15:11:45610.00B GZ Compressed Archive
repomd.xml2025-May-07 15:11:451.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build