Index of /debian-development/amd64/debian/pool/main/a/agda

Icon  Name                                          Last modified      Size  
[PARENTDIR] Parent Directory                                                   -   
[   ] agda-bin_2.6.2.2-1.1_amd64.deb                2026-06-17 13:26  7.4M  
[   ] agda_2.6.2.2-1.1_all.deb                      2026-06-17 13:26   12K  
[   ] elpa-agda2-mode_2.6.2.2-1.1_all.deb           2026-06-17 13:26   50K  
[   ] libghc-agda-dev_2.6.2.2-1.1_amd64.deb         2026-06-17 13:26   24M  
[   ] libghc-agda-doc_2.6.2.2-1.1_all.deb           2026-06-17 13:26  6.3M