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

Icon  Name                                    Last modified      Size  
[PARENTDIR] Parent Directory                                             -   
[   ] agda_2.8.0-2_all.deb                    2026-02-15 16:07   17K  
[   ] elpa-agda2-mode_2.8.0-2_all.deb         2026-02-15 16:07   56K  
[   ] libghc-agda-doc_2.8.0-2_all.deb         2026-02-15 16:07  7.2M