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

NameLast ModifiedSizeType
../  Directory
6f337ad14ec25b05305b9427399eb30da031f0f81b0e1bc3ba2b5eab26fe4ef3-other.xml.gz2025-Jan-12 07:56:011.03K GZ Compressed Archive
aa9715e31457d1d81b89bb214c463863064b211f2db1d86b5eddde976897cc42-filelists.xml.gz2025-Jan-12 07:56:0136.80K GZ Compressed Archive
a817612224a2bd09724ddd0b9c7516b318b02c990c38a51afcb7b26fa02b52ac-primary.xml.gz2025-Jan-12 07:56:011.83K GZ Compressed Archive
repomd.xml2025-Jan-12 07:56:011.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build