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

NameLast ModifiedSizeType
../  Directory
b6ae114979c300cf9e0c8683a055566ae9910b96379a0c4973ee2dea02757722-primary.xml.gz2025-Sep-18 05:57:291.28K GZ Compressed Archive
6dea6b8abef62c9fc7dbb2cdf8fa44dd125a6f028eef78595de25789b71a76da-other.xml.gz2025-Sep-18 05:57:29630.00B GZ Compressed Archive
c573d20626acda88318a709c6b43b3595edc9d0e2b72646f49e9d2d4affc42ed-filelists.xml.gz2025-Sep-18 05:57:2947.97K GZ Compressed Archive
repomd.xml2025-Sep-18 05:57:291.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project