Index of /packages/Agda/2.6.0.1/24.fc32/data

Icon  Name                            Last modified      Size  Description
[PARENTDIR] Parent Directory                                     -   
[DIR] logs/                           2021-02-01 14:38    -   
[DIR] sigcache/                       2021-02-01 15:24    -   
[DIR] signed/                         2021-05-25 19:42    -