Index of /results/petersen/lean4/epel-10-ppc64le/repodata/

NameLast ModifiedSizeType
../  Directory
98b539b198849c0ea693f11c9449a0a082bf4e31871f6aaef95ca666f0141c01-filelists.xml.gz2026-Jan-26 07:20:2854.82K GZ Compressed Archive
8ae8a97fac84b0a1565aa09340d03869b72db24a88c83d744b6f5e504f52d159-other.xml.gz2026-Jan-26 07:20:28632.00B GZ Compressed Archive
cfc69818266062d9e17eb2ff16ebf98741e68224d0d66b514fef3b83bffc86fb-primary.xml.gz2026-Jan-26 07:20:281.29K GZ Compressed Archive
repomd.xml2026-Jan-26 07:20:281.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project