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

NameLast ModifiedSizeType
../  Directory
143efd841eed062649733b4fce3b3e773008daa1ba5c18f9125c767ab7e89380-primary.xml.gz2026-Mar-29 10:25:051.34K GZ Compressed Archive
689377c8fe537981dca5f2f6a96dac71fdf5d3febfbea2a977e998d65b1c05eb-filelists.xml.gz2026-Mar-29 10:25:0557.45K GZ Compressed Archive
4948498a9c25f10ee4f6859d82e5e4b118974a8ac2c183bde8ecb112a214fc8a-other.xml.gz2026-Mar-29 10:25:05530.00B GZ Compressed Archive
repomd.xml2026-Mar-29 10:25:051.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project