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

NameLast ModifiedSizeType
../  Directory
90bb6d3f78f7b2b1a9b7097729b01369a0f41eac3c37a9b13a2b33ea7250ed9a-filelists.xml.gz2025-Nov-23 18:30:00102.62K GZ Compressed Archive
3911828f08f12f43965cd766124178a0071591f7a614c6a94d07f59daff33393-primary.xml.gz2025-Nov-23 18:30:001.58K GZ Compressed Archive
cf671d03e23080acf103a63c0ab16a5028049254299a42e3b64769309539b8e4-other.xml.gz2025-Nov-23 18:30:00767.00B GZ Compressed Archive
repomd.xml2025-Nov-23 18:30:001.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project