Index of /extended-lts/pool/main/a/agda/

../
agda-mode_2.3.0.1-2_all.deb                        26-May-2012 21:32               46136
agda_2.3.0.1-2_all.deb                             26-May-2012 21:32               13200
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb             27-May-2012 23:02            13049408
libghc-agda-dev_2.3.0.1-2_i386.deb                 26-May-2012 22:32            12402232
libghc-agda-doc_2.3.0.1-2_all.deb                  26-May-2012 21:32             1750812