Index of /ubuntu/pool/universe/a/agda/

../
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.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-1build2_all.deb                  21-Apr-2012 17:03     40K
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.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-1build2.debian.tar.gz                 21-Apr-2012 16:33    6631
agda_2.3.0.1-1build2.dsc                           21-Apr-2012 16:33    3053
agda_2.3.0.1-1build2_all.deb                       21-Apr-2012 17:03    2984
agda_2.3.0.1-2.debian.tar.gz                       27-May-2012 20:04    6874
agda_2.3.0.1-2.dsc                                 27-May-2012 20:04    2391
agda_2.3.0.1.orig.tar.gz                           18-Mar-2012 12:03    598K
haskell-agda-doc_2.2.6-3_all.deb                   04-Mar-2010 15:05      1M
libghc-agda-dev_2.2.10-3build1_amd64.deb           09-Jul-2011 22:06     10M
libghc-agda-dev_2.2.10-3build1_i386.deb            09-Jul-2011 22:06     10M
libghc-agda-dev_2.3.0.1-1build2_amd64.deb          21-Apr-2012 17:03     12M
libghc-agda-dev_2.3.0.1-1build2_i386.deb           21-Apr-2012 17:03     12M
libghc-agda-doc_2.2.10-3build1_all.deb             09-Jul-2011 22:06      1M
libghc-agda-doc_2.3.0.1-1build2_all.deb            21-Apr-2012 17:03      2M
libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb        24-Feb-2011 22:05     11M
libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb         24-Feb-2011 19:06     10M
libghc6-agda-dev_2.2.6-3_amd64.deb                 04-Mar-2010 15:05     10M
libghc6-agda-dev_2.2.6-3_i386.deb                  04-Mar-2010 15:06      9M
libghc6-agda-dev_2.2.6-7build1_amd64.deb           26-May-2010 12:05     10M
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.6-3_amd64.deb                04-Mar-2010 15:05     14M
libghc6-agda-prof_2.2.6-3_i386.deb                 04-Mar-2010 15:06     13M