Index of /packages/Agda/2.5.4.2/17.fc30/data/logs

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[DIR] aarch64/                             2019-02-28 13:50    -   
[DIR] i686/                                2019-02-28 13:50    -   
[DIR] ppc64le/                             2019-02-28 13:50    -   
[DIR] s390x/                               2019-02-28 13:50    -   
[DIR] x86_64/                              2019-02-28 13:50    -