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

NameLast ModifiedSizeType
../  Directory
df4068802a978ce17f405a6a9596d3dd2e97e71f2ce7f9eab6b506887731c241-primary.xml.gz2025-Mar-07 05:17:421.84K GZ Compressed Archive
abad1ea46f42ff3f0cb55bd2e710cc291d5c1ce6650793ddd21e65ddfacc5671-other.xml.gz2025-Mar-07 05:17:421.01K GZ Compressed Archive
bae288016b2ea7f6d23e241e767bb8d62121c412fc65cdf314e574511c8112e0-filelists.xml.gz2025-Mar-07 05:17:4238.85K GZ Compressed Archive
repomd.xml2025-Mar-07 05:17:421.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build