Index of /results/petersen/lean4/fedora-42-x86_64/repodata/

NameLast ModifiedSizeType
../  Directory
e69bda7eb56194b1fb8c006ca13b57e3c212dacfe056f847fcec9f29cd7b3d88-primary.xml.gz2025-Sep-18 05:57:311.28K GZ Compressed Archive
df1779f372def99eb513347cc1b47a650145a70e18eac1912bcd424b3f616034-other.xml.gz2025-Sep-18 05:57:31627.00B GZ Compressed Archive
23458a84c86b096bd1774be537f78460630cb0ee492144ae6141a03af7a76af4-filelists.xml.gz2025-Sep-18 05:57:3147.89K GZ Compressed Archive
repomd.xml2025-Sep-18 05:57:311.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project