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


../
agda-mode_2.2.10-1~ubuntu1_all.deb                 24-Feb-2011 19:05               40050
agda-mode_2.2.10-3build1_all.deb                   09-Jul-2011 22:06               39886
agda-mode_2.2.6-3_all.deb                          04-Mar-2010 15:05               39278
agda-mode_2.3.0.1-1build2_all.deb                  21-Apr-2012 17:03               40830
agda-mode_2.3.0.1-2build1_all.deb                  27-Aug-2012 12:33               44936
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              517723
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.orig.tar.gz                             02-Feb-2010 22:04              424382
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-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              612342
haskell-agda-doc_2.2.6-3_all.deb                   04-Mar-2010 15:05             1058766
libghc-agda-dev_2.2.10-3build1_amd64.deb           09-Jul-2011 22:06            10870938
libghc-agda-dev_2.2.10-3build1_i386.deb            09-Jul-2011 22:06            10212366
libghc-agda-dev_2.3.0.1-1build2_amd64.deb          21-Apr-2012 17:03            13034196
libghc-agda-dev_2.3.0.1-1build2_i386.deb           21-Apr-2012 17:03            12390688
libghc-agda-dev_2.3.0.1-2build1_amd64.deb          27-Aug-2012 13:03            13190090
libghc-agda-dev_2.3.0.1-2build1_i386.deb           27-Aug-2012 12:33            12537544
libghc-agda-doc_2.2.10-3build1_all.deb             09-Jul-2011 22:06             1461100
libghc-agda-doc_2.3.0.1-1build2_all.deb            21-Apr-2012 17:03             1687042
libghc-agda-doc_2.3.0.1-2build1_all.deb            27-Aug-2012 12:33             1768608
libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb        24-Feb-2011 22:05            11080296
libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb         24-Feb-2011 19:06            10491918
libghc6-agda-dev_2.2.6-3_amd64.deb                 04-Mar-2010 15:05            10040708
libghc6-agda-dev_2.2.6-3_i386.deb                  04-Mar-2010 15:06             9533248
libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb          24-Feb-2011 19:05             1253930
libghc6-agda-prof_2.2.6-3_amd64.deb                04-Mar-2010 15:05            14864950
libghc6-agda-prof_2.2.6-3_i386.deb                 04-Mar-2010 15:06            13616256