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

NameLast ModifiedSizeType
../  Directory
5146f48990117be54a00f0948a0d9f01f53f70a81bbda2ba2f71064330ab86dc-other.xml.gz2025-Oct-22 05:43:50629.00B GZ Compressed Archive
4ea30f8af12a53a8ee220dbf758495fa47c7a4275d5c2444c16a73eff523b011-filelists.xml.gz2025-Oct-22 05:43:5050.99K GZ Compressed Archive
cf7296e047243aaf842ac9ee19a8fac809f58ef3d8820375187b64677b019f8d-primary.xml.gz2025-Oct-22 05:43:501.28K GZ Compressed Archive
repomd.xml2025-Oct-22 05:43:501.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project