Index of /pub/linux/kali/pool/main/a/agda

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 agda-bin_2.6.3-1+b1_arm64.deb        2023-10-23 06:29  9.8M  
 agda-bin_2.6.3-1+b1_i386.deb         2024-04-14 04:29   15M  
 agda-bin_2.6.3-1+b2_amd64.deb        2023-10-31 01:22  9.8M  
 agda-bin_2.6.3-1+b2_arm64.deb        2024-04-14 05:10  9.8M  
 agda-bin_2.6.3-1+b3_amd64.deb        2024-04-14 02:30  9.8M  
 agda-bin_2.6.3-1_i386.deb            2023-10-31 02:12   15M  
 agda_2.6.3-1.debian.tar.xz           2023-10-14 00:34   11K  
 agda_2.6.3-1.dsc                     2023-10-14 00:34  4.8K  
 agda_2.6.3-1_all.deb                 2023-10-14 01:30   20K  
 agda_2.6.3.orig.tar.gz               2023-10-14 00:34  1.7M  
 elpa-agda2-mode_2.6.3-1_all.deb      2023-10-14 01:30   58K  
 libghc-agda-dev_2.6.3-1+b1_arm64.deb 2023-10-23 06:29   24M  
 libghc-agda-dev_2.6.3-1+b1_i386.deb  2024-04-14 04:29   37M  
 libghc-agda-dev_2.6.3-1+b2_amd64.deb 2023-10-31 01:22   23M  
 libghc-agda-dev_2.6.3-1+b2_arm64.deb 2024-04-14 05:10   24M  
 libghc-agda-dev_2.6.3-1+b3_amd64.deb 2024-04-14 02:30   23M  
 libghc-agda-dev_2.6.3-1_i386.deb     2023-10-31 02:12   37M  
 libghc-agda-doc_2.6.3-1_all.deb      2023-10-14 01:30  6.6M