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

NameLast ModifiedSizeType
../  Directory
c1b56208e8cc296340db2316234635a5740fe4bd88219df954e958b39b2ce579-primary.xml.gz2026-May-09 06:01:291.32K GZ Compressed Archive
3d10f287a6c8be0c8169beae8d07b217cebd90f9601de115ea09b311ef99a2e4-filelists.xml.gz2026-May-09 06:01:2957.46K GZ Compressed Archive
56375943a9f8992777dddb2e40a133a2ae8eff792d575e1a56aa2c0e8e36b4a7-other.xml.gz2026-May-09 06:01:29530.00B GZ Compressed Archive
repomd.xml2026-May-09 06:01:291.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project