Index of /repos/pool/main/a/agda/

../
agda-bin_2.5.4.1-3+b1_amd64.deb                    22-Jan-2026 17:23      6M
agda-bin_2.5.4.1-3+b1_i386.deb                     22-Jan-2026 17:23      6M
agda-bin_2.6.1-1+b2_amd64.deb                      21-Jan-2026 10:37      8M
agda-bin_2.6.1-1+b2_i386.deb                       21-Jan-2026 10:37      9M
agda-bin_2.6.2.2-1.1_amd64.deb                     20-Jan-2026 00:19      7M
agda-bin_2.6.4.3-1+b2_amd64.deb                    18-Jan-2026 06:12      9M
agda-bin_2.6.4.3-1+b2_i386.deb                     18-Jan-2026 06:12     14M
agda-mode_2.5.4.1-3_all.deb                        22-Jan-2026 17:23    115K
agda_2.5.4.1-3.debian.tar.xz                       22-Jan-2026 17:23    9928
agda_2.5.4.1-3.dsc                                 22-Jan-2026 17:23    3870
agda_2.5.4.1-3_all.deb                             22-Jan-2026 17:23    115K
agda_2.5.4.1.orig.tar.gz                           22-Jan-2026 17:23      2M
agda_2.6.1-1.debian.tar.xz                         21-Jan-2026 10:37     10K
agda_2.6.1-1.dsc                                   21-Jan-2026 10:37    4186
agda_2.6.1-1_all.deb                               21-Jan-2026 10:37     28K
agda_2.6.1.orig.tar.gz                             21-Jan-2026 10:37      3M
agda_2.6.2.2-1.1.debian.tar.xz                     20-Jan-2026 00:19     10K
agda_2.6.2.2-1.1.dsc                               20-Jan-2026 00:19    4426
agda_2.6.2.2-1.1_all.deb                           20-Jan-2026 00:19     12K
agda_2.6.2.2.orig.tar.gz                           20-Jan-2026 00:19      2M
agda_2.6.4.3-1.debian.tar.xz                       18-Jan-2026 06:12     10K
agda_2.6.4.3-1.dsc                                 18-Jan-2026 06:12    5197
agda_2.6.4.3-1_all.deb                             18-Jan-2026 06:12     12K
agda_2.6.4.3.orig.tar.gz                           18-Jan-2026 06:12      2M
elpa-agda2-mode_2.5.4.1-3_all.deb                  22-Jan-2026 18:45    152K
elpa-agda2-mode_2.6.1-1_all.deb                    21-Jan-2026 13:09     65K
elpa-agda2-mode_2.6.2.2-1.1_all.deb                20-Jan-2026 03:19     50K
elpa-agda2-mode_2.6.4.3-1_all.deb                  18-Jan-2026 10:44     50K
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             22-Jan-2026 22:00     16M
libghc-agda-dev_2.5.4.1-3+b1_i386.deb              22-Jan-2026 22:00     16M
libghc-agda-dev_2.6.1-1+b2_amd64.deb               21-Jan-2026 19:15     36M
libghc-agda-dev_2.6.1-1+b2_i386.deb                21-Jan-2026 19:15     36M
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              20-Jan-2026 09:32     24M
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             18-Jan-2026 20:29     22M
libghc-agda-dev_2.6.4.3-1+b2_i386.deb              18-Jan-2026 20:29     36M
libghc-agda-doc_2.5.4.1-3_all.deb                  22-Jan-2026 22:00      4M
libghc-agda-doc_2.6.1-1_all.deb                    21-Jan-2026 19:15      6M
libghc-agda-doc_2.6.2.2-1.1_all.deb                20-Jan-2026 09:33      6M
libghc-agda-doc_2.6.4.3-1_all.deb                  18-Jan-2026 20:29      7M