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

NameLast ModifiedSizeType
../  Directory
33410d2816e64ac9d9caa2080891b32d226a9d2a2268a8463f7e69ee3eec460a-filelists.xml.gz2024-Dec-08 09:33:1036.00K GZ Compressed Archive
3d43046fa497c034cd74df9015975aa1e341ac1bdf5c874bfb6b3f539790b92c-other.xml.gz2024-Dec-08 09:33:101.02K GZ Compressed Archive
repomd.xml2024-Dec-08 09:33:101.52K XML File
b6affb6cea46984526a8a4861f7ce11cdc0e8740c9d00bfb365a44e98fcb7ffa-primary.xml.gz2024-Dec-08 09:33:101.83K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build