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

NameLast ModifiedSizeType
../  Directory
5370131e120a7078ff2c93b5e0083acfeda3546b95ae5e2a0eafa85e05256d04-other.xml.gz2026-Mar-29 10:25:08531.00B GZ Compressed Archive
c6b3939c3d8f5d4bd001e6aef0903e3661ae0c9523f23cd6c5d244deea1c6a8b-primary.xml.gz2026-Mar-29 10:25:081.31K GZ Compressed Archive
4b65fd28a965a207fcd38bc04381ce7e2cf51087e7ebf445463b4ca17b37dc14-filelists.xml.gz2026-Mar-29 10:25:0857.45K GZ Compressed Archive
repomd.xml2026-Mar-29 10:25:081.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project