Index of /packages/Agda/2.6.2/32.fc35/data/logs

Icon  Name                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                        -   
[DIR] aarch64/                           2021-08-08 23:20    -   
[DIR] i686/                              2021-08-08 23:20    -   
[DIR] ppc64le/                           2021-08-08 23:20    -   
[DIR] s390x/                             2021-08-08 23:20    -   
[DIR] x86_64/                            2021-08-08 23:20    -