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

../
agda-bin_2.6.1-1+b2_amd64.deb                      19-Aug-2020 19:59      8M
agda-mode_2.3.0.1-2_all.deb                        26-May-2012 21:32     45K
agda_2.3.0.1-2.debian.tar.gz                       26-May-2012 21:32    6874
agda_2.3.0.1-2.dsc                                 26-May-2012 21:32    2391
agda_2.3.0.1-2_all.deb                             26-May-2012 21:32     13K
agda_2.3.0.1.orig.tar.gz                           12-Mar-2012 13:32    598K
agda_2.6.1-1_all.deb                               29-Jul-2020 16:40     28K
elpa-agda2-mode_2.6.1-1_all.deb                    29-Jul-2020 16:40     65K
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb             27-May-2012 23:02     12M
libghc-agda-dev_2.6.1-1+b2_amd64.deb               19-Aug-2020 19:59     36M
libghc-agda-doc_2.3.0.1-2_all.deb                  26-May-2012 21:32      2M
libghc-agda-doc_2.6.1-1_all.deb                    29-Jul-2020 16:40      6M