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

Icon  Name                                          Last modified      Size  
[PARENTDIR] Parent Directory                                                   -   
[   ] agda-bin_2.8.0-2_alpha.deb                    2026-02-16 19:03   20M  
[   ] agda_2.8.0-2_alpha.buildinfo                  2026-02-16 19:03   16K  
[   ] libghc-agda-dev_2.3.0.1-2_alpha.deb           2012-07-03 16:10   23M  
[   ] libghc-agda-dev_2.8.0-2_alpha.deb             2026-02-16 19:03   54M