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

NameLast ModifiedSizeType
../  Directory
8feec734815d537e5acb489dcbb1a0369dfd2f1538a4ea736e564b8d5a88636a-filelists.xml.gz2026-Jun-15 09:35:4759.99K GZ Compressed Archive
ee523ebdf7347d7dc4742e774de30092d5b729d1097b77c284cb9ca63005393f-primary.xml.gz2026-Jun-15 09:35:471.35K GZ Compressed Archive
89ee70efadbb18225ccc87b6b00b123033222500e6862943f1abda70a81c0ba3-other.xml.gz2026-Jun-15 09:35:47534.00B GZ Compressed Archive
repomd.xml2026-Jun-15 09:35:471.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project