Index of /packages/Agda/2.6.2.2

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 36.el9/                 2022-09-03 16:25    -   
 36.fc37/                2022-06-19 11:56    -   
 37.fc37/                2022-07-21 01:04    -   
 38.fc38/                2023-02-17 18:45    -   
 39.fc39/                2023-07-19 12:32    -