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

NameLast ModifiedSizeType
../  Directory
f1fceb809d6efa38c85da574129b84a149b80c45a08f88d69f8513c777b7c686-primary.xml.gz2025-Oct-22 05:43:511.29K GZ Compressed Archive
6c79f935ec563c5f324a1fef3a61a5819bd67488dab2d8f67034b34d45f51fc5-filelists.xml.gz2025-Oct-22 05:43:5150.99K GZ Compressed Archive
5c86c922cdfc31af19ed4254788f99cde0fd3d499e452b7bfa4ff2a4b2977807-other.xml.gz2025-Oct-22 05:43:51631.00B GZ Compressed Archive
repomd.xml2025-Oct-22 05:43:511.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project