Index of /debian/pool/main/a/agda

Icon  Name                                     Last modified      Size  Description
[DIR] Parent Directory                                              -   
[   ] agda-bin_2.6.1-1+b2_amd64.deb            19-Aug-2020 21:59  8.5M  
[   ] agda-bin_2.6.1-1+b2_arm64.deb            19-Aug-2020 23:57  9.9M  
[   ] agda-bin_2.6.1-1+b2_i386.deb             20-Aug-2020 00:58  8.6M  
[   ] agda-bin_2.6.2.2-1.1_amd64.deb           06-Dec-2022 18:57  7.4M  
[   ] agda-bin_2.6.2.2-1.1_mips64el.deb        06-Dec-2022 23:12   15M  
[   ] agda-bin_2.6.2.2-1.1_ppc64el.deb         06-Dec-2022 19:28   10M  
[   ] agda-bin_2.6.2.2-1.1_s390x.deb           06-Dec-2022 19:38   19M  
[   ] agda-bin_2.6.4.3-1+b2_amd64.deb          01-Feb-2025 23:54  9.4M  
[   ] agda-bin_2.6.4.3-1+b2_arm64.deb          14-Feb-2025 13:31  9.4M  
[   ] agda-bin_2.6.4.3-1+b2_i386.deb           14-Feb-2025 11:53   14M  
[   ] agda-bin_2.6.4.3-1_ppc64el.deb           08-Oct-2024 13:44  9.0M  
[   ] agda-bin_2.6.4.3-1_riscv64.deb           09-Oct-2024 02:41   12M  
[   ] agda-bin_2.6.4.3-1_s390x.deb             08-Oct-2024 13:44   19M  
[   ] agda-bin_2.8.0-2+b1_amd64.deb            28-Feb-2026 02:02  9.8M  
[   ] agda-bin_2.8.0-2+b1_arm64.deb            28-Feb-2026 02:17  9.9M  
[   ] agda-bin_2.8.0-2+b1_i386.deb             28-Feb-2026 02:02  9.7M  
[   ] agda-bin_2.8.0-2+b1_loong64.deb          28-Feb-2026 09:20   19M  
[   ] agda-bin_2.8.0-2+b1_ppc64el.deb          28-Feb-2026 02:33   11M  
[   ] agda-bin_2.8.0-2+b1_riscv64.deb          01-Mar-2026 20:58   16M  
[   ] agda-bin_2.8.0-2+b1_s390x.deb            28-Feb-2026 12:12   18M  
[   ] agda-bin_2.8.0-2_amd64.deb               15-Feb-2026 16:07  9.8M  
[   ] agda-bin_2.8.0-2_arm64.deb               15-Feb-2026 16:07  9.9M  
[   ] agda-bin_2.8.0-2_i386.deb                15-Feb-2026 16:07  9.7M  
[   ] agda-bin_2.8.0-2_ppc64el.deb             15-Feb-2026 16:33   11M  
[   ] agda-bin_2.8.0-2_riscv64.deb             16-Feb-2026 16:02   16M  
[   ] agda-bin_2.8.0-2_s390x.deb               15-Feb-2026 19:10   18M  
[   ] agda_2.6.1-1.debian.tar.xz               29-Jul-2020 17:40  9.8K  
[   ] agda_2.6.1-1.dsc                         29-Jul-2020 17:40  4.1K  
[   ] agda_2.6.1-1_all.deb                     29-Jul-2020 18:40   28K  
[   ] agda_2.6.1.orig.tar.gz                   29-Jul-2020 17:40  2.5M  
[   ] agda_2.6.2.2-1.1.debian.tar.xz           06-Dec-2022 17:40   10K  
[   ] agda_2.6.2.2-1.1.dsc                     06-Dec-2022 17:40  4.3K  
[   ] agda_2.6.2.2-1.1_all.deb                 06-Dec-2022 18:41   12K  
[   ] agda_2.6.2.2.orig.tar.gz                 06-Aug-2022 19:04  1.6M  
[   ] agda_2.6.4.3-1.debian.tar.xz             08-Oct-2024 12:41   10K  
[   ] agda_2.6.4.3-1.dsc                       08-Oct-2024 12:41  5.1K  
[   ] agda_2.6.4.3-1_all.deb                   08-Oct-2024 13:23   12K  
[   ] agda_2.6.4.3.orig.tar.gz                 08-Oct-2024 12:41  1.8M  
[   ] agda_2.8.0-2.debian.tar.xz               15-Feb-2026 15:11   10K  
[   ] agda_2.8.0-2.dsc                         15-Feb-2026 15:11  5.8K  
[   ] agda_2.8.0-2_all.deb                     15-Feb-2026 16:07   17K  
[   ] agda_2.8.0.orig.tar.gz                   14-Feb-2026 18:37  1.9M  
[   ] elpa-agda2-mode_2.6.1-1_all.deb          29-Jul-2020 18:40   65K  
[   ] elpa-agda2-mode_2.6.2.2-1.1_all.deb      06-Dec-2022 18:41   50K  
[   ] elpa-agda2-mode_2.6.4.3-1_all.deb        08-Oct-2024 13:23   50K  
[   ] elpa-agda2-mode_2.8.0-2_all.deb          15-Feb-2026 16:07   56K  
[   ] libghc-agda-dev_2.6.1-1+b2_amd64.deb     19-Aug-2020 21:59   36M  
[   ] libghc-agda-dev_2.6.1-1+b2_arm64.deb     19-Aug-2020 23:57   43M  
[   ] libghc-agda-dev_2.6.1-1+b2_i386.deb      20-Aug-2020 00:58   36M  
[   ] libghc-agda-dev_2.6.2.2-1.1_amd64.deb    06-Dec-2022 18:57   24M  
[   ] libghc-agda-dev_2.6.2.2-1.1_mips64el.deb 06-Dec-2022 23:12   35M  
[   ] libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb  06-Dec-2022 19:28   35M  
[   ] libghc-agda-dev_2.6.2.2-1.1_s390x.deb    06-Dec-2022 19:38   38M  
[   ] libghc-agda-dev_2.6.4.3-1+b2_amd64.deb   01-Feb-2025 23:54   22M  
[   ] libghc-agda-dev_2.6.4.3-1+b2_arm64.deb   14-Feb-2025 13:31   23M  
[   ] libghc-agda-dev_2.6.4.3-1+b2_i386.deb    14-Feb-2025 11:53   36M  
[   ] libghc-agda-dev_2.6.4.3-1_ppc64el.deb    08-Oct-2024 13:44   29M  
[   ] libghc-agda-dev_2.6.4.3-1_riscv64.deb    09-Oct-2024 02:41   40M  
[   ] libghc-agda-dev_2.6.4.3-1_s390x.deb      08-Oct-2024 13:44   39M  
[   ] libghc-agda-dev_2.8.0-2+b1_amd64.deb     28-Feb-2026 02:02   36M  
[   ] libghc-agda-dev_2.8.0-2+b1_arm64.deb     28-Feb-2026 02:17   38M  
[   ] libghc-agda-dev_2.8.0-2+b1_i386.deb      28-Feb-2026 02:02   36M  
[   ] libghc-agda-dev_2.8.0-2+b1_loong64.deb   28-Feb-2026 09:20   65M  
[   ] libghc-agda-dev_2.8.0-2+b1_ppc64el.deb   28-Feb-2026 02:33   46M  
[   ] libghc-agda-dev_2.8.0-2+b1_riscv64.deb   01-Mar-2026 20:58   66M  
[   ] libghc-agda-dev_2.8.0-2+b1_s390x.deb     28-Feb-2026 12:12   54M  
[   ] libghc-agda-dev_2.8.0-2_amd64.deb        15-Feb-2026 16:07   36M  
[   ] libghc-agda-dev_2.8.0-2_arm64.deb        15-Feb-2026 16:07   38M  
[   ] libghc-agda-dev_2.8.0-2_i386.deb         15-Feb-2026 16:07   36M  
[   ] libghc-agda-dev_2.8.0-2_ppc64el.deb      15-Feb-2026 16:33   47M  
[   ] libghc-agda-dev_2.8.0-2_riscv64.deb      16-Feb-2026 16:02   66M  
[   ] libghc-agda-dev_2.8.0-2_s390x.deb        15-Feb-2026 19:10   54M  
[   ] libghc-agda-doc_2.6.1-1_all.deb          29-Jul-2020 18:40  5.5M  
[   ] libghc-agda-doc_2.6.2.2-1.1_all.deb      06-Dec-2022 18:41  6.3M  
[   ] libghc-agda-doc_2.6.4.3-1_all.deb        08-Oct-2024 13:23  7.1M  
[   ] libghc-agda-doc_2.8.0-2_all.deb          15-Feb-2026 16:07  7.2M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80