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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] libghc-agda-dev_2.6.4.3-1+b2_arm64.deb             2025-02-14 20:31   23M  
[   ] agda-bin_2.6.4.3-1+b2_arm64.deb                    2025-02-14 20:31  9.4M  
[   ] libghc-agda-dev_2.6.4.3-1+b2_i386.deb              2025-02-14 18:53   36M  
[   ] agda-bin_2.6.4.3-1+b2_i386.deb                     2025-02-14 18:53   14M  
[   ] libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             2025-02-02 06:54   22M  
[   ] agda-bin_2.6.4.3-1+b2_amd64.deb                    2025-02-02 06:54  9.4M  
[   ] libghc-agda-dev_2.6.4.3-1+b1_armel.deb             2024-10-17 10:06   30M  
[   ] agda-bin_2.6.4.3-1+b1_armel.deb                    2024-10-17 10:06   13M  
[   ] libghc-agda-doc_2.6.4.3-1_all.deb                  2024-10-08 19:23  7.1M  
[   ] elpa-agda2-mode_2.6.4.3-1_all.deb                  2024-10-08 19:23   50K  
[   ] agda_2.6.4.3-1_all.deb                             2024-10-08 19:23   12K  
[   ] agda_2.6.4.3.orig.tar.gz                           2024-10-08 18:41  1.8M  
[TXT] agda_2.6.4.3-1.dsc                                 2024-10-08 18:41  5.1K  
[   ] agda_2.6.4.3-1.debian.tar.xz                       2024-10-08 18:41   10K
Apache/2.4.63 (Debian) Server at de.freedif.org Port 443