Index of /linux/debian/debian-ports/pool-m68k/main/a/agda

Icon  Name                                         Last modified      Size  
[PARENTDIR] Parent Directory                                                  -   
[   ] agda-bin_2.6.1-1+b1_m68k.deb                 2022-01-02 14:56   10M  
[   ] agda_2.6.1-1+b1_m68k.buildinfo               2022-01-02 14:56   11K  
[   ] libghc-agda-dev_2.6.1-1+b1_m68k.deb          2022-01-02 14:56   59M