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

NameLast ModifiedSizeType
../  Directory
38b9576c7644fcd5acc34650c91c40330f0d55a0e92f3d141f59046bac0d0d2d-primary.xml.gz2025-Dec-08 16:59:211.29K GZ Compressed Archive
5a483f7a180aec385ed106e75485dac62acd28efb813d66b3b423f08abb559a9-other.xml.gz2025-Dec-08 16:59:21631.00B GZ Compressed Archive
98b2d299d64754978f26f1186cb4ba71b637f1987790a7fd2ad4604e7ef3dfdb-filelists.xml.gz2025-Dec-08 16:59:2151.94K GZ Compressed Archive
repomd.xml2025-Dec-08 16:59:211.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project