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

NameLast ModifiedSizeType
../  Directory
9fc69bf94e23f7f4bbd2f45a29e7c3223f411f18e8c74d9f232ed413d38b2849-other.xml.gz2024-Aug-02 07:16:16869.00B GZ Compressed Archive
8f68702d891c7f5e81aa5298a1c0fd9b9f112c4f177396fe4046a693f40a3069-filelists.xml.gz2024-Aug-02 07:16:1631.92K GZ Compressed Archive
28e0425c3e4b7a762d23fcf36dc1360da587769a655d293c700be9815a3985b6-primary.xml.gz2024-Aug-02 07:16:161.79K GZ Compressed Archive
repomd.xml2024-Aug-02 07:16:161.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build