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

NameLast ModifiedSizeType
../  Directory
4ea9631932360bd591902826dcd2b43e2dc004d761eee2c1979f919d97e7c012-primary.xml.gz2025-Nov-23 18:30:101.60K GZ Compressed Archive
345fbae8a0cc405f3f63f74aeeb03542b8faaf051837f52338554b65efbb4304-other.xml.gz2025-Nov-23 18:30:10768.00B GZ Compressed Archive
dd85e0239655e511dcfd7a733482c0362bec4b106a960d6c761a1445c4e6c7cc-filelists.xml.gz2025-Nov-23 18:30:10102.61K GZ Compressed Archive
repomd.xml2025-Nov-23 18:30:101.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project