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

NameLast ModifiedSizeType
../  Directory
d945951746a7c19921168576f30d81282a74db4f5136488dde2c91ffbbf2ade9-other.xml.gz2026-Feb-25 16:49:41619.00B GZ Compressed Archive
814ffbda0cb90ca0ad13d3efc01d4149ba748074f6e35838b7280062f3da4636-primary.xml.gz2026-Feb-25 16:49:411.33K GZ Compressed Archive
9dce945ed917becfcdf0a9493385fc8a4acfbc69aeda7eec9524d443d831f0cb-filelists.xml.gz2026-Feb-25 16:49:4155.62K GZ Compressed Archive
repomd.xml2026-Feb-25 16:49:411.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project