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_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
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
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-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