Index of /freexian/extended-lts/pool/main/a/agda

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 agda-bin_2.5.4.1-3+b1_amd64.deb        2024-10-28 11:17  5.6M  
 agda-bin_2.5.4.1-3+b1_i386.deb         2024-10-28 11:17  5.7M  
 agda-mode_2.5.4.1-3_all.deb            2024-10-28 11:17  115K  
 agda_2.5.4.1-3_all.deb                 2024-10-28 11:17  115K  
 elpa-agda2-mode_2.5.4.1-3_all.deb      2024-10-28 11:17  152K  
 libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 2024-10-28 11:17   16M  
 libghc-agda-dev_2.5.4.1-3+b1_i386.deb  2024-10-28 11:17   16M  
 libghc-agda-doc_2.5.4.1-3_all.deb      2024-10-28 11:17  3.6M