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

Icon  Name                                         Last modified      Size  
[PARENTDIR] Parent Directory                                                  -   
[   ] agda-bin_2.6.4.3-1+b1_hppa.deb               2025-04-02 14:03   14M  
[   ] agda_2.6.4.3-1+b1_hppa.buildinfo             2025-04-02 14:03   15K  
[   ] libghc-agda-dev_2.6.4.3-1+b1_hppa.deb        2025-04-02 14:03   40M