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

Icon  Name                                     Last modified      Size  Description
[DIR] Parent Directory                                              -   
[   ] agda-bin_2.5.4.1-3+b1_amd64.deb          04-Dec-2018 11:59  5.6M  
[   ] agda-bin_2.5.4.1-3+b1_arm64.deb          04-Dec-2018 14:27  6.5M  
[   ] agda-bin_2.5.4.1-3+b1_i386.deb           04-Dec-2018 11:43  5.7M  
[   ] 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.1-1+b2_ppc64el.deb          20-Aug-2020 01:59   12M  
[   ] agda-bin_2.6.1-1+b3_s390x.deb            20-Aug-2020 02:40   23M  
[   ] 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.3-1+b1_i386.deb             13-Apr-2024 21:29   15M  
[   ] agda-bin_2.6.3-1+b1_mips64el.deb         14-Apr-2024 10:45   15M  
[   ] agda-bin_2.6.3-1+b1_s390x.deb            13-Apr-2024 20:22   14M  
[   ] agda-bin_2.6.3-1+b2_arm64.deb            13-Apr-2024 22:10  9.8M  
[   ] agda-bin_2.6.3-1+b2_riscv64.deb          17-Apr-2024 10:03   11M  
[   ] agda-bin_2.6.3-1+b3_amd64.deb            13-Apr-2024 19:30  9.8M  
[   ] agda-bin_2.6.3-1+b3_ppc64el.deb          13-Apr-2024 19:51   11M  
[   ] agda-mode_2.5.4.1-3_all.deb              20-Oct-2018 23:57  115K  
[   ] agda_2.5.4.1-3.debian.tar.xz             20-Oct-2018 22:41  9.7K  
[   ] agda_2.5.4.1-3.dsc                       20-Oct-2018 22:41  3.8K  
[   ] agda_2.5.4.1-3_all.deb                   20-Oct-2018 23:57  115K  
[   ] agda_2.5.4.1.orig.tar.gz                 30-Sep-2018 12:54  1.9M  
[   ] 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.3-1.debian.tar.xz               13-Oct-2023 17:34   11K  
[   ] agda_2.6.3-1.dsc                         13-Oct-2023 17:34  4.8K  
[   ] agda_2.6.3-1_all.deb                     13-Oct-2023 18:30   20K  
[   ] agda_2.6.3.orig.tar.gz                   13-Oct-2023 17:34  1.7M  
[   ] elpa-agda2-mode_2.5.4.1-3_all.deb        20-Oct-2018 23:57  152K  
[   ] 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.3-1_all.deb          13-Oct-2023 18:30   58K  
[   ] libghc-agda-dev_2.5.4.1-3+b1_amd64.deb   04-Dec-2018 11:59   16M  
[   ] libghc-agda-dev_2.5.4.1-3+b1_arm64.deb   04-Dec-2018 14:27   19M  
[   ] libghc-agda-dev_2.5.4.1-3+b1_i386.deb    04-Dec-2018 11:43   16M  
[   ] 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.1-1+b2_ppc64el.deb   20-Aug-2020 01:59   53M  
[   ] libghc-agda-dev_2.6.1-1+b3_s390x.deb     20-Aug-2020 02:40   55M  
[   ] 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.3-1+b1_i386.deb      13-Apr-2024 21:29   37M  
[   ] libghc-agda-dev_2.6.3-1+b1_mips64el.deb  14-Apr-2024 10:45   33M  
[   ] libghc-agda-dev_2.6.3-1+b1_s390x.deb     13-Apr-2024 20:22   33M  
[   ] libghc-agda-dev_2.6.3-1+b2_arm64.deb     13-Apr-2024 22:10   24M  
[   ] libghc-agda-dev_2.6.3-1+b2_riscv64.deb   17-Apr-2024 10:03   37M  
[   ] libghc-agda-dev_2.6.3-1+b3_amd64.deb     13-Apr-2024 19:30   23M  
[   ] libghc-agda-dev_2.6.3-1+b3_ppc64el.deb   13-Apr-2024 19:51   33M  
[   ] libghc-agda-doc_2.5.4.1-3_all.deb        20-Oct-2018 23:57  3.6M  
[   ] 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.3-1_all.deb          13-Oct-2023 18:30  6.6M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80