Index of /results/mgrabovs/lean3/fedora-40-x86_64/repodata/

NameLast ModifiedSizeType
../  Directory
6ae9c57e71782167a7702eb6b623fcff5aaada267e8ea2fe4f35a9e0e1802298-filelists.xml.gz2024-Feb-12 13:27:489.84K GZ Compressed Archive
5054ac8597ededed191762a1b4681a494a8e613cb89d37f6201d25057131bc65-other.xml.gz2024-Feb-12 13:27:48580.00B GZ Compressed Archive
0b17a774b1eee87b09b933886a7476f9dc43b628ba04f14f05c49d71d7ca3026-primary.xml.gz2024-Feb-12 13:27:481.55K GZ Compressed Archive
repomd.xml2024-Feb-12 13:27:481.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build