Index of /packages/Agda/2.5.3

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[DIR] 11.fc28/                2018-01-27 21:48    -   
[DIR] 12.fc28/                2018-02-07 07:35    -   
[DIR] 13.fc29/                2018-07-13 00:49    -   
[DIR] 14.el8/                 2022-09-07 19:59    -   
[DIR] 14.fc29/                2018-07-31 13:42    -   
[DIR] 15.fc30/                2019-02-02 14:34    -