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

NameLast ModifiedSizeType
../  Directory
c487532e0db3f6f5d725703655cccc7fe9074f4d835327e72aebc426cb686252-primary.xml.gz2025-Sep-18 05:57:301.28K GZ Compressed Archive
0fe12da1367aab61691b8fd775331937c0674fa09887f05f1f794e1b7f7f36b5-other.xml.gz2025-Sep-18 05:57:30628.00B GZ Compressed Archive
repomd.xml2025-Sep-18 05:57:301.52K XML File
cddec26c487f43bc1b3a11ad0e4f2212973150e41e759f34c54b111beee4c433-filelists.xml.gz2025-Sep-18 05:57:3047.96K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project