Index of /ubuntu/pool/universe/a/agda/
../
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.0.2-2build1_amd64.deb 30-Oct-2014 02:00 4M
agda-bin_2.4.0.2-2build1_i386.deb 30-Oct-2014 02:01 4M
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.5.1-2build2_amd64.deb 09-Aug-2016 22:04 5M
agda-bin_2.5.1-2build2_i386.deb 09-Aug-2016 21:25 5M
agda-bin_2.5.1.1-3build3_amd64.deb 27-Jan-2017 16:03 5M
agda-bin_2.5.1.1-3build3_i386.deb 27-Jan-2017 15:29 5M
agda-bin_2.5.2-2build1_amd64.deb 15-Jul-2017 20:08 5M
agda-bin_2.5.2-2build1_i386.deb 15-Jul-2017 20:08 5M
agda-bin_2.5.3-3build1_amd64.deb 26-Nov-2017 04:09 5M
agda-bin_2.5.3-3build1_i386.deb 26-Nov-2017 04:09 5M
agda-mode_2.3.0.1-1build2_all.deb 22-Apr-2012 01:03 40K
agda-mode_2.3.2.2-1_all.deb 07-Nov-2013 01:28 47K
agda-mode_2.4.0.2-2build1_all.deb 30-Oct-2014 02:00 39K
agda-mode_2.4.2.5-1build1_all.deb 13-Jan-2016 06:59 36K
agda-mode_2.5.1-2build2_all.deb 09-Aug-2016 22:04 4322
agda-mode_2.5.1.1-3build3_all.deb 27-Jan-2017 16:03 4144
agda-mode_2.5.2-2build1_all.deb 15-Jul-2017 20:08 4110
agda-mode_2.5.3-3build1_all.deb 26-Nov-2017 04:09 3584
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.orig.tar.gz 18-Mar-2012 20:03 598K
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.4.0.2-2build1.debian.tar.xz 30-Oct-2014 01:58 7384
agda_2.4.0.2-2build1.dsc 30-Oct-2014 01:58 3962
agda_2.4.0.2-2build1_all.deb 30-Oct-2014 02:00 3040
agda_2.4.0.2.orig.tar.gz 06-Aug-2014 01:34 889K
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.5.1-2build2.debian.tar.xz 09-Aug-2016 21:19 8868
agda_2.5.1-2build2.dsc 09-Aug-2016 21:19 4138
agda_2.5.1-2build2_all.deb 09-Aug-2016 22:04 2958
agda_2.5.1.1-3build3.debian.tar.xz 27-Jan-2017 15:28 9672
agda_2.5.1.1-3build3.dsc 27-Jan-2017 15:28 4081
agda_2.5.1.1-3build3_all.deb 27-Jan-2017 16:03 2958
agda_2.5.1.1.orig.tar.gz 13-Nov-2016 21:09 1M
agda_2.5.1.orig.tar.gz 15-Jun-2016 07:44 1M
agda_2.5.2-2build1.debian.tar.xz 15-Jul-2017 16:58 9076
agda_2.5.2-2build1.dsc 15-Jul-2017 16:58 4078
agda_2.5.2-2build1_all.deb 15-Jul-2017 20:08 2962
agda_2.5.2.orig.tar.gz 07-Jul-2017 13:08 1M
agda_2.5.3-3build1.debian.tar.xz 26-Nov-2017 03:15 9800
agda_2.5.3-3build1.dsc 26-Nov-2017 03:15 4572
agda_2.5.3-3build1_all.deb 26-Nov-2017 04:09 3052
agda_2.5.3.orig.tar.gz 01-Nov-2017 21:05 1M
elpa-agda2-mode_2.5.1-2build2_all.deb 09-Aug-2016 22:04 39K
elpa-agda2-mode_2.5.1.1-3build3_all.deb 27-Jan-2017 16:03 39K
elpa-agda2-mode_2.5.2-2build1_all.deb 15-Jul-2017 20:08 40K
elpa-agda2-mode_2.5.3-3build1_all.deb 26-Nov-2017 04:09 40K
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.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.0.2-2build1_amd64.deb 30-Oct-2014 02:00 9M
libghc-agda-dev_2.4.0.2-2build1_i386.deb 30-Oct-2014 02:01 9M
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.5.1-2build2_amd64.deb 09-Aug-2016 22:04 12M
libghc-agda-dev_2.5.1-2build2_i386.deb 09-Aug-2016 21:25 11M
libghc-agda-dev_2.5.1.1-3build3_amd64.deb 27-Jan-2017 16:03 12M
libghc-agda-dev_2.5.1.1-3build3_i386.deb 27-Jan-2017 15:29 12M
libghc-agda-dev_2.5.2-2build1_amd64.deb 15-Jul-2017 20:08 13M
libghc-agda-dev_2.5.2-2build1_i386.deb 15-Jul-2017 20:08 13M
libghc-agda-dev_2.5.3-3build1_amd64.deb 26-Nov-2017 04:09 15M
libghc-agda-dev_2.5.3-3build1_i386.deb 26-Nov-2017 04:09 15M
libghc-agda-doc_2.3.0.1-1build2_all.deb 22-Apr-2012 01:03 2M
libghc-agda-doc_2.3.2.2-1_all.deb 07-Nov-2013 01:28 2M
libghc-agda-doc_2.4.0.2-2build1_all.deb 30-Oct-2014 02:00 2M
libghc-agda-doc_2.4.2.5-1build1_all.deb 13-Jan-2016 06:59 2M
libghc-agda-doc_2.5.1-2build2_all.deb 09-Aug-2016 22:04 2M
libghc-agda-doc_2.5.1.1-3build3_all.deb 27-Jan-2017 16:03 2M
libghc-agda-doc_2.5.2-2build1_all.deb 15-Jul-2017 20:08 3M
libghc-agda-doc_2.5.3-3build1_all.deb 26-Nov-2017 04:09 3M