Index of /ubuntu/pool/universe/a/agda/

../
agda-bin_2.6.1-1build2.1_amd64.deb                 13-Apr-2022 16:01             9541384
agda-bin_2.6.3-1build1_amd64.deb                   08-Mar-2024 09:45            10985550
agda-bin_2.8.0-2build1_amd64.deb                   10-Apr-2026 04:52            10986814
agda_2.6.1-1build2.1.debian.tar.xz                 13-Apr-2022 16:01               10232
agda_2.6.1-1build2.1.dsc                           13-Apr-2022 16:01                4293
agda_2.6.1-1build2.1_all.deb                       13-Apr-2022 16:01                4134
agda_2.6.1.orig.tar.gz                             13-Apr-2021 04:56             2646289
agda_2.6.3-1build1.debian.tar.xz                   08-Mar-2024 09:45               11628
agda_2.6.3-1build1.dsc                             08-Mar-2024 09:45                4939
agda_2.6.3-1build1_all.deb                         08-Mar-2024 09:45                3758
agda_2.6.3.orig.tar.gz                             08-Mar-2024 09:45             1794269
agda_2.8.0-2build1.debian.tar.xz                   10-Apr-2026 04:52               10676
agda_2.8.0-2build1.dsc                             10-Apr-2026 04:52                5934
agda_2.8.0-2build1_all.deb                         10-Apr-2026 04:52                2892
agda_2.8.0.orig.tar.gz                             10-Apr-2026 04:52             1951997
elpa-agda2-mode_2.6.1-1build2.1_all.deb            13-Apr-2022 16:01               46174
elpa-agda2-mode_2.6.3-1build1_all.deb              08-Mar-2024 09:45               46250
elpa-agda2-mode_2.8.0-2build1_all.deb              10-Apr-2026 04:52               47692
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          13-Apr-2022 16:01            40255774
libghc-agda-dev_2.6.3-1build1_amd64.deb            08-Mar-2024 09:45            25485196
libghc-agda-dev_2.8.0-2build1_amd64.deb            10-Apr-2026 04:52            39235840
libghc-agda-doc_2.6.1-1build2.1_all.deb            13-Apr-2022 16:01             5403312
libghc-agda-doc_2.6.3-1build1_all.deb              08-Mar-2024 09:45             6288876
libghc-agda-doc_2.8.0-2build1_all.deb              10-Apr-2026 04:52             6800782