Index of /packages/Agda/2.6.2.2/36.el9/data/logs

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[DIR] aarch64/                            2022-09-03 16:25    -   
[DIR] ppc64le/                            2022-09-03 16:25    -   
[DIR] s390x/                              2022-09-03 16:25    -   
[DIR] x86_64/                             2022-09-03 16:25    -