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

NameLast ModifiedSizeType
../  Directory
cee911205c113aa87a8b2e83d326fe33e4be3602b50a6040df82bbe4f210c9c2-filelists.xml.gz2026-Aug-17 10:32:1974.15K GZ Compressed Archive
61ee0142de3842930cd33061200f145e1db51c054f20d11622cca25e35562a53-other.xml.gz2026-Aug-17 10:32:19539.00B GZ Compressed Archive
ee495890bf5dd3953df1d24547bd7836bae04bedfc32769ca5175be706868ecf-primary.xml.gz2026-Aug-17 10:32:191.35K GZ Compressed Archive
repomd.xml2026-Aug-17 10:32:191.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project