Index of /packages/Agda/2.5.2

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 10.fc28/                2017-12-26 16:20    -   
 4.fc27/                 2017-03-10 15:15    -   
 5.fc26.1/               2017-03-13 06:57    -   
 5.fc27/                 2017-04-27 20:32    -   
 6.fc27.1/               2017-07-26 11:40    -   
 7.fc27.1/               2017-08-03 04:17    -   
 8.fc28/                 2017-11-10 19:08    -   
 9.fc27/                 2017-11-15 17:09    -