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

NameLast ModifiedSizeType
../  Directory
f722915c55e059d346c67c7be59a7a96b84bb23786ccb6ebd7c42d278bc7b7a7-primary.xml.gz2025-Aug-24 06:18:221.28K GZ Compressed Archive
af7d128dbfd3fb99052dfdbab9a4c91b0ee44e26cbc3aa7ff4c5f266c3fcba1c-other.xml.gz2025-Aug-24 06:18:22630.00B GZ Compressed Archive
4e9369743e220bf9d5d99cf173d3b50651ad6751fb7a1ab3b4e17dcc69296cae-filelists.xml.gz2025-Aug-24 06:18:2234.25K GZ Compressed Archive
repomd.xml2025-Aug-24 06:18:221.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build