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

NameLast ModifiedSizeType
../  Directory
e12f4fe707350356643b264fcddc049db4b1e64927d648c9aa8ea569266b8975-primary.xml.gz2025-Dec-08 16:59:191.29K GZ Compressed Archive
bb4e2c986dc535599211aeac34f405e952fd4631cc00287cd29f049908ac609d-other.xml.gz2025-Dec-08 16:59:19628.00B GZ Compressed Archive
1e5084cd4536ff565cf82995d94fcf7d0f9b5b35b232ebd3b1c0ac039195329c-filelists.xml.gz2025-Dec-08 16:59:1951.94K GZ Compressed Archive
repomd.xml2025-Dec-08 16:59:191.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project