Index of /ubuntu-old/pool/universe/a/agda/
../
agda-bin_2.3.2-1_i386.deb 10-Apr-2013 18:03 5M
agda-bin_2.3.2.1-1_i386.deb 17-Jun-2013 00:03 5M
agda-bin_2.4.0.2-2_i386.deb 11-Aug-2014 16:53 4M
agda-mode_2.2.10-1~ubuntu1_all.deb 24-Feb-2011 19:05 39K
agda-mode_2.2.10-3build1_all.deb 09-Jul-2011 22:06 39K
agda-mode_2.2.4+dfsg-1_all.deb 24-Aug-2009 13:05 36K
agda-mode_2.2.6-3_all.deb 04-Mar-2010 15:05 38K
agda-mode_2.2.6-7build1_all.deb 26-May-2010 09:04 39K
agda-mode_2.3.0.1-2build1_all.deb 27-Aug-2012 12:33 44K
agda-mode_2.3.2-1_all.deb 10-Apr-2013 18:03 44K
agda-mode_2.3.2.1-1_all.deb 17-Jun-2013 00:03 44K
agda-mode_2.4.0.2-2_all.deb 11-Aug-2014 16:53 39K
agda_2.2.10-1~ubuntu1.debian.tar.gz 24-Feb-2011 19:05 8391
agda_2.2.10-1~ubuntu1.dsc 24-Feb-2011 19:05 3182
agda_2.2.10-3build1.debian.tar.gz 09-Jul-2011 22:06 7663
agda_2.2.10-3build1.dsc 09-Jul-2011 22:06 3204
agda_2.2.10-3build1_all.deb 09-Jul-2011 22:06 2986
agda_2.2.10.orig.tar.gz 24-Feb-2011 19:05 506K
agda_2.2.4+dfsg-1.diff.gz 24-Aug-2009 11:04 4129
agda_2.2.4+dfsg-1.dsc 24-Aug-2009 11:04 3038
agda_2.2.4+dfsg.orig.tar.gz 24-Aug-2009 11:04 369K
agda_2.2.6-3.diff.gz 04-Mar-2010 15:05 5364
agda_2.2.6-3.dsc 04-Mar-2010 15:05 2750
agda_2.2.6-7build1.debian.tar.gz 26-May-2010 09:04 5364
agda_2.2.6-7build1.dsc 26-May-2010 09:04 2318
agda_2.2.6.orig.tar.gz 02-Feb-2010 22:04 414K
agda_2.3.0.1-2build1.debian.tar.gz 27-Aug-2012 12:33 6944
agda_2.3.0.1-2build1.dsc 27-Aug-2012 12:33 3055
agda_2.3.0.1-2build1_all.deb 27-Aug-2012 12:33 3012
agda_2.3.0.1.orig.tar.gz 18-Mar-2012 12:03 598K
agda_2.3.2-1.debian.tar.gz 10-Apr-2013 17:33 7233
agda_2.3.2-1.dsc 10-Apr-2013 17:33 3383
agda_2.3.2-1_all.deb 10-Apr-2013 18:03 2974
agda_2.3.2.1-1.debian.tar.gz 16-Jun-2013 23:33 7250
agda_2.3.2.1-1.dsc 16-Jun-2013 23:33 3299
agda_2.3.2.1-1_all.deb 17-Jun-2013 00:03 2982
agda_2.3.2.1.orig.tar.gz 16-Jun-2013 23:33 713K
agda_2.3.2.orig.tar.gz 10-Apr-2013 17:33 709K
agda_2.4.0.2-2.debian.tar.xz 11-Aug-2014 16:28 7344
agda_2.4.0.2-2.dsc 11-Aug-2014 16:28 3938
agda_2.4.0.2-2_all.deb 11-Aug-2014 16:53 3034
agda_2.4.0.2.orig.tar.gz 05-Aug-2014 17:34 889K
haskell-agda-doc_2.2.4+dfsg-1_all.deb 24-Aug-2009 13:05 948K
haskell-agda-doc_2.2.6-3_all.deb 04-Mar-2010 15:05 1M
libghc-agda-dev_2.2.10-3build1_i386.deb 09-Jul-2011 22:06 10M
libghc-agda-dev_2.3.0.1-2build1_i386.deb 27-Aug-2012 12:33 12M
libghc-agda-dev_2.3.2-1_i386.deb 10-Apr-2013 18:03 12M
libghc-agda-dev_2.3.2.1-1_i386.deb 17-Jun-2013 00:03 12M
libghc-agda-dev_2.4.0.2-2_i386.deb 11-Aug-2014 16:53 9M
libghc-agda-doc_2.2.10-3build1_all.deb 09-Jul-2011 22:06 1M
libghc-agda-doc_2.3.0.1-2build1_all.deb 27-Aug-2012 12:33 2M
libghc-agda-doc_2.3.2-1_all.deb 10-Apr-2013 18:03 2M
libghc-agda-doc_2.3.2.1-1_all.deb 17-Jun-2013 00:03 2M
libghc-agda-doc_2.4.0.2-2_all.deb 11-Aug-2014 16:53 2M
libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb 24-Feb-2011 19:06 10M
libghc6-agda-dev_2.2.4+dfsg-1_i386.deb 24-Aug-2009 13:05 8M
libghc6-agda-dev_2.2.6-3_i386.deb 04-Mar-2010 15:06 9M
libghc6-agda-dev_2.2.6-7build1_i386.deb 26-May-2010 09:05 9M
libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb 24-Feb-2011 19:05 1M
libghc6-agda-doc_2.2.6-7build1_all.deb 26-May-2010 09:04 1M
libghc6-agda-prof_2.2.4+dfsg-1_i386.deb 24-Aug-2009 13:05 12M
libghc6-agda-prof_2.2.6-3_i386.deb 04-Mar-2010 15:06 13M