Index of /ubuntu/pool/main/a/agda/

../
agda-bin_2.4.2.5-1build1_amd64.deb                 14-Jan-2021 22:29             4803616
agda-bin_2.5.3-3build1_amd64.deb                   14-Jan-2021 23:11             5728080
agda-mode_2.4.2.5-1build1_all.deb                  14-Jan-2021 22:38               37272
agda-mode_2.5.3-3build1_all.deb                    14-Jan-2021 23:21                3584
agda_2.4.2.5-1build1_all.deb                       14-Jan-2021 22:42                2966
agda_2.5.3-3build1_all.deb                         14-Jan-2021 23:00                3052
elpa-agda2-mode_2.5.3-3build1_all.deb              14-Jan-2021 22:56               40852
libghc-agda-dev_2.4.2.5-1build1_amd64.deb          14-Jan-2021 22:46            10670346
libghc-agda-dev_2.5.3-3build1_amd64.deb            14-Jan-2021 22:56            15874428
libghc-agda-doc_2.4.2.5-1build1_all.deb            14-Jan-2021 22:32             2184422
libghc-agda-doc_2.5.3-3build1_all.deb              14-Jan-2021 23:02             2752184