Index of /ubuntu/pool/universe/a/agda/
../
agda-bin_2.3.2-1_amd64.deb 11-Apr-2013 02:03 5M
agda-bin_2.3.2-1_i386.deb 11-Apr-2013 02:03 5M
agda-bin_2.3.2.2-1_amd64.deb 07-Nov-2013 01:28 5M
agda-bin_2.3.2.2-1_i386.deb 07-Nov-2013 01:28 5M
agda-bin_2.4.2.5-1build1_amd64.deb 13-Jan-2016 06:59 5M
agda-bin_2.4.2.5-1build1_i386.deb 13-Jan-2016 06:45 5M
agda-bin_2.6.0.1-1build4_amd64.deb 08-Feb-2020 21:19 6M
agda-bin_2.6.1-1build2.1_amd64.deb 16-Sep-2021 16:28 9M
agda-mode_2.2.10-1~ubuntu1_all.deb 25-Feb-2011 03:05 39K
agda-mode_2.2.10-3build1_all.deb 10-Jul-2011 06:06 39K
agda-mode_2.2.4+dfsg-1_all.deb 24-Aug-2009 21:05 36K
agda-mode_2.2.6-3_all.deb 04-Mar-2010 23:05 38K
agda-mode_2.2.6-7build1_all.deb 26-May-2010 17:04 39K
agda-mode_2.3.0.1-1build2_all.deb 22-Apr-2012 01:03 40K
agda-mode_2.3.0.1-2build1_all.deb 27-Aug-2012 20:33 44K
agda-mode_2.3.2-1_all.deb 11-Apr-2013 02:03 44K
agda-mode_2.3.2.2-1_all.deb 07-Nov-2013 01:28 47K
agda-mode_2.4.2.5-1build1_all.deb 13-Jan-2016 06:59 36K
agda-mode_2.6.0.1-1build4_all.deb 08-Feb-2020 21:19 3644
agda_2.2.10-1~ubuntu1.debian.tar.gz 25-Feb-2011 03:05 8391
agda_2.2.10-1~ubuntu1.dsc 25-Feb-2011 03:05 3182
agda_2.2.10-3build1.debian.tar.gz 10-Jul-2011 06:06 7663
agda_2.2.10-3build1.dsc 10-Jul-2011 06:06 3204
agda_2.2.10-3build1_all.deb 10-Jul-2011 06:06 2986
agda_2.2.10.orig.tar.gz 25-Feb-2011 03:05 506K
agda_2.2.4+dfsg-1.diff.gz 24-Aug-2009 19:04 4129
agda_2.2.4+dfsg-1.dsc 24-Aug-2009 19:04 3038
agda_2.2.4+dfsg.orig.tar.gz 24-Aug-2009 19:04 369K
agda_2.2.6-3.diff.gz 04-Mar-2010 23:05 5364
agda_2.2.6-3.dsc 04-Mar-2010 23:05 2750
agda_2.2.6-7build1.debian.tar.gz 26-May-2010 17:04 5364
agda_2.2.6-7build1.dsc 26-May-2010 17:04 2318
agda_2.2.6.orig.tar.gz 03-Feb-2010 06:04 414K
agda_2.3.0.1-1build2.debian.tar.gz 22-Apr-2012 00:33 6631
agda_2.3.0.1-1build2.dsc 22-Apr-2012 00:33 3053
agda_2.3.0.1-1build2_all.deb 22-Apr-2012 01:03 2984
agda_2.3.0.1-2.debian.tar.gz 28-May-2012 04:04 6874
agda_2.3.0.1-2.dsc 28-May-2012 04:04 2391
agda_2.3.0.1-2build1.debian.tar.gz 27-Aug-2012 20:33 6944
agda_2.3.0.1-2build1.dsc 27-Aug-2012 20:33 3055
agda_2.3.0.1-2build1_all.deb 27-Aug-2012 20:33 3012
agda_2.3.0.1.orig.tar.gz 18-Mar-2012 20:03 598K
agda_2.3.2-1.debian.tar.gz 11-Apr-2013 01:33 7233
agda_2.3.2-1.dsc 11-Apr-2013 01:33 3383
agda_2.3.2-1_all.deb 11-Apr-2013 02:03 2974
agda_2.3.2.2-1.debian.tar.gz 07-Nov-2013 01:28 7406
agda_2.3.2.2-1.dsc 07-Nov-2013 01:28 3283
agda_2.3.2.2-1_all.deb 07-Nov-2013 01:28 2996
agda_2.3.2.2.orig.tar.gz 07-Nov-2013 01:28 2M
agda_2.3.2.orig.tar.gz 11-Apr-2013 01:33 709K
agda_2.4.2.5-1build1.debian.tar.xz 13-Jan-2016 06:30 7848
agda_2.4.2.5-1build1.dsc 13-Jan-2016 06:30 3826
agda_2.4.2.5-1build1_all.deb 13-Jan-2016 06:59 2966
agda_2.4.2.5.orig.tar.gz 05-Jan-2016 07:25 1007K
agda_2.6.0.1-1build4.debian.tar.xz 08-Feb-2020 19:38 10K
agda_2.6.0.1-1build4.dsc 08-Feb-2020 19:38 4293
agda_2.6.0.1-1build4_all.deb 08-Feb-2020 21:19 4056
agda_2.6.0.1.orig.tar.gz 01-Sep-2019 20:43 2M
agda_2.6.1-1build2.1.debian.tar.xz 16-Sep-2021 15:39 10K
agda_2.6.1-1build2.1.dsc 16-Sep-2021 15:39 4293
agda_2.6.1-1build2.1_all.deb 16-Sep-2021 16:28 4134
agda_2.6.1.orig.tar.gz 30-Jul-2020 07:19 3M
elpa-agda2-mode_2.6.0.1-1build4_all.deb 08-Feb-2020 21:19 40K
elpa-agda2-mode_2.6.1-1build2.1_all.deb 16-Sep-2021 16:28 45K
haskell-agda-doc_2.2.4+dfsg-1_all.deb 24-Aug-2009 21:05 948K
haskell-agda-doc_2.2.6-3_all.deb 04-Mar-2010 23:05 1M
libghc-agda-dev_2.2.10-3build1_amd64.deb 10-Jul-2011 06:06 10M
libghc-agda-dev_2.2.10-3build1_i386.deb 10-Jul-2011 06:06 10M
libghc-agda-dev_2.3.0.1-1build2_amd64.deb 22-Apr-2012 01:03 12M
libghc-agda-dev_2.3.0.1-1build2_i386.deb 22-Apr-2012 01:03 12M
libghc-agda-dev_2.3.0.1-2build1_amd64.deb 27-Aug-2012 21:03 13M
libghc-agda-dev_2.3.0.1-2build1_i386.deb 27-Aug-2012 20:33 12M
libghc-agda-dev_2.3.2-1_amd64.deb 11-Apr-2013 02:03 13M
libghc-agda-dev_2.3.2-1_i386.deb 11-Apr-2013 02:03 12M
libghc-agda-dev_2.3.2.2-1_amd64.deb 07-Nov-2013 01:28 13M
libghc-agda-dev_2.3.2.2-1_i386.deb 07-Nov-2013 01:28 12M
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 13-Jan-2016 06:59 10M
libghc-agda-dev_2.4.2.5-1build1_i386.deb 13-Jan-2016 06:45 10M
libghc-agda-dev_2.6.0.1-1build4_amd64.deb 08-Feb-2020 21:19 19M
libghc-agda-dev_2.6.1-1build2.1_amd64.deb 16-Sep-2021 16:28 38M
libghc-agda-doc_2.2.10-3build1_all.deb 10-Jul-2011 06:06 1M
libghc-agda-doc_2.3.0.1-1build2_all.deb 22-Apr-2012 01:03 2M
libghc-agda-doc_2.3.0.1-2build1_all.deb 27-Aug-2012 20:33 2M
libghc-agda-doc_2.3.2-1_all.deb 11-Apr-2013 02:03 2M
libghc-agda-doc_2.3.2.2-1_all.deb 07-Nov-2013 01:28 2M
libghc-agda-doc_2.4.2.5-1build1_all.deb 13-Jan-2016 06:59 2M
libghc-agda-doc_2.6.0.1-1build4_all.deb 08-Feb-2020 21:19 4M
libghc-agda-doc_2.6.1-1build2.1_all.deb 16-Sep-2021 16:28 5M
libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb 25-Feb-2011 06:05 11M
libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb 25-Feb-2011 03:06 10M
libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb 24-Aug-2009 21:05 8M
libghc6-agda-dev_2.2.4+dfsg-1_i386.deb 24-Aug-2009 21:05 8M
libghc6-agda-dev_2.2.6-3_amd64.deb 04-Mar-2010 23:05 10M
libghc6-agda-dev_2.2.6-3_i386.deb 04-Mar-2010 23:06 9M
libghc6-agda-dev_2.2.6-7build1_amd64.deb 26-May-2010 20:05 10M
libghc6-agda-dev_2.2.6-7build1_i386.deb 26-May-2010 17:05 9M
libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb 25-Feb-2011 03:05 1M
libghc6-agda-doc_2.2.6-7build1_all.deb 26-May-2010 17:04 1M
libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb 24-Aug-2009 21:05 13M
libghc6-agda-prof_2.2.4+dfsg-1_i386.deb 24-Aug-2009 21:05 12M
libghc6-agda-prof_2.2.6-3_amd64.deb 04-Mar-2010 23:05 14M
libghc6-agda-prof_2.2.6-3_i386.deb 04-Mar-2010 23:06 13M