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

Icon  Name                                            Last modified      Size  
[PARENTDIR] Parent Directory                                                     -   
[   ] agda-bin_2.6.4.3-1_powerpc.deb                  2025-02-25 19:03   13M  
[   ] agda_2.6.4.3-1_powerpc.buildinfo                2025-02-25 19:03   15K  
[   ] libghc-agda-dev_2.6.4.3-1_powerpc.deb           2025-02-25 19:03   32M