Index of /packages/Agda/2.6.4.3/50.el10_0/data

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 logs/                             2025-05-02 10:39    -   
 sigcache/                         2025-05-05 10:55    -   
 signed/                           2025-05-05 10:56    -