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

../
agda-bin_2.6.1-1+b2_amd64.deb                      09-Jun-2026 19:29             8910056
agda-bin_2.6.1-1+b2_arm64.deb                      09-Jun-2026 19:29            10374216
agda-bin_2.6.2.2-1.1_amd64.deb                     09-Jun-2026 19:29             7751992
agda-bin_2.6.4.3-1+b2_amd64.deb                    09-Jun-2026 19:29             9846396
agda-bin_2.6.4.3-1+b2_arm64.deb                    09-Jun-2026 19:29             9868676
agda-bin_2.8.0-2+b2_amd64.deb                      09-Jun-2026 19:29            10285156
agda-bin_2.8.0-2+b2_arm64.deb                      09-Jun-2026 19:29            10338976
agda_2.6.1-1.debian.tar.xz                         09-Jun-2026 19:29               10060
agda_2.6.1-1.dsc                                   09-Jun-2026 19:29                4186
agda_2.6.1-1_all.deb                               09-Jun-2026 19:29               28736
agda_2.6.1.orig.tar.gz                             09-Jun-2026 19:29             2646289
agda_2.6.2.2-1.1.debian.tar.xz                     09-Jun-2026 19:29               10496
agda_2.6.2.2-1.1.dsc                               09-Jun-2026 19:29                4426
agda_2.6.2.2-1.1_all.deb                           09-Jun-2026 19:29               12304
agda_2.6.2.2.orig.tar.gz                           09-Jun-2026 19:29             1690635
agda_2.6.4.3-1.debian.tar.xz                       09-Jun-2026 19:29               10460
agda_2.6.4.3-1.dsc                                 09-Jun-2026 19:29                5197
agda_2.6.4.3-1_all.deb                             09-Jun-2026 19:29               12148
agda_2.6.4.3.orig.tar.gz                           09-Jun-2026 19:29             1869461
agda_2.8.0-2.debian.tar.xz                         09-Jun-2026 19:29               10632
agda_2.8.0-2.dsc                                   09-Jun-2026 19:29                5939
agda_2.8.0-2_all.deb                               09-Jun-2026 19:29               17396
agda_2.8.0.orig.tar.gz                             09-Jun-2026 19:29             1951997
elpa-agda2-mode_2.6.1-1_all.deb                    09-Jun-2026 19:29               66816
elpa-agda2-mode_2.6.2.2-1.1_all.deb                09-Jun-2026 19:29               50944
elpa-agda2-mode_2.6.4.3-1_all.deb                  09-Jun-2026 19:29               51316
elpa-agda2-mode_2.8.0-2_all.deb                    09-Jun-2026 19:29               57648
libghc-agda-dev_2.6.1-1+b2_amd64.deb               09-Jun-2026 19:29            37948252
libghc-agda-dev_2.6.1-1+b2_arm64.deb               09-Jun-2026 19:29            44818592
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              09-Jun-2026 19:29            24853036
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             09-Jun-2026 19:29            22821040
libghc-agda-dev_2.6.4.3-1+b2_arm64.deb             09-Jun-2026 19:29            24469636
libghc-agda-dev_2.8.0-2+b2_amd64.deb               09-Jun-2026 19:29            37682992
libghc-agda-dev_2.8.0-2+b2_arm64.deb               09-Jun-2026 19:29            40091060
libghc-agda-doc_2.6.1-1_all.deb                    09-Jun-2026 19:29             5799636
libghc-agda-doc_2.6.2.2-1.1_all.deb                09-Jun-2026 19:29             6599972
libghc-agda-doc_2.6.4.3-1_all.deb                  09-Jun-2026 19:29             7489680
libghc-agda-doc_2.8.0-2_all.deb                    09-Jun-2026 19:29             7585956