Index of /pool/universe/a/agda/

../
agda-bin_2.6.1-1build2.1_amd64.deb                 14-Aug-2026 19:24             9541384
agda-bin_2.6.3-1build1_amd64.deb                   14-Aug-2026 19:24            10985550
agda-bin_2.8.0-2build1_amd64.deb                   14-Aug-2026 19:24            10986814
agda_2.6.1-1build2.1_all.deb                       14-Aug-2026 19:24                4134
agda_2.6.3-1build1_all.deb                         14-Aug-2026 19:24                3758
agda_2.8.0-2build1_all.deb                         14-Aug-2026 19:24                2892
elpa-agda2-mode_2.6.1-1build2.1_all.deb            14-Aug-2026 19:24               46174
elpa-agda2-mode_2.6.3-1build1_all.deb              14-Aug-2026 19:24               46250
elpa-agda2-mode_2.8.0-2build1_all.deb              14-Aug-2026 19:24               47692
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          14-Aug-2026 19:24            40255774
libghc-agda-dev_2.6.3-1build1_amd64.deb            14-Aug-2026 19:24            25485196
libghc-agda-dev_2.8.0-2build1_amd64.deb            14-Aug-2026 19:24            39235840
libghc-agda-doc_2.6.1-1build2.1_all.deb            14-Aug-2026 19:24             5403312
libghc-agda-doc_2.6.3-1build1_all.deb              14-Aug-2026 19:24             6288876
libghc-agda-doc_2.8.0-2build1_all.deb              14-Aug-2026 19:24             6800782