Index of /packages/Agda/2.6.0.1

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[DIR] 19.fc31/                2019-08-06 12:52    -   
[DIR] 20.fc32/                2020-01-28 16:35    -   
[DIR] 21.fc32/                2020-02-22 17:25    -   
[DIR] 22.fc32/                2020-06-22 12:00    -   
[DIR] 23.fc32/                2020-09-11 06:24    -   
[DIR] 24.fc32/                2021-02-01 14:38    -