Index of /packages/Agda/2.6.0.1/21.fc32/data/logs

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[DIR] aarch64/                             2020-02-22 17:25    -   
[DIR] i686/                                2020-02-22 17:25    -   
[DIR] ppc64le/                             2020-02-22 17:25    -   
[DIR] s390x/                               2020-02-22 17:25    -   
[DIR] x86_64/                              2020-02-22 17:25    -