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

 Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 agda-mode_2.2.6-3_all.deb                   04-Mar-2010 23:05   38K  
 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.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_2.2.6-3.diff.gz                        04-Mar-2010 23:05  5.2K  
 agda_2.2.6-3.dsc                            04-Mar-2010 23:05  2.7K  
 agda_2.2.6.orig.tar.gz                      03-Feb-2010 06:04  414K  
 agda_2.2.10-1~ubuntu1.debian.tar.gz         25-Feb-2011 03:05  8.2K  
 agda_2.2.10-1~ubuntu1.dsc                   25-Feb-2011 03:05  3.1K  
 agda_2.2.10-3build1.debian.tar.gz           10-Jul-2011 06:06  7.5K  
 agda_2.2.10-3build1.dsc                     10-Jul-2011 06:06  3.1K  
 agda_2.2.10-3build1_all.deb                 10-Jul-2011 06:06  2.9K  
 agda_2.2.10.orig.tar.gz                     25-Feb-2011 03:05  506K  
 agda_2.3.0.1-1build2.debian.tar.gz          22-Apr-2012 00:33  6.5K  
 agda_2.3.0.1-1build2.dsc                    22-Apr-2012 00:33  3.0K  
 agda_2.3.0.1-1build2_all.deb                22-Apr-2012 01:03  2.9K  
 agda_2.3.0.1-2build1.debian.tar.gz          27-Aug-2012 20:33  6.8K  
 agda_2.3.0.1-2build1.dsc                    27-Aug-2012 20:33  3.0K  
 agda_2.3.0.1-2build1_all.deb                27-Aug-2012 20:33  2.9K  
 agda_2.3.0.1.orig.tar.gz                    18-Mar-2012 20:03  598K  
 haskell-agda-doc_2.2.6-3_all.deb            04-Mar-2010 23:05  1.0M  
 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  9.7M  
 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-doc_2.2.10-3build1_all.deb      10-Jul-2011 06:06  1.4M  
 libghc-agda-doc_2.3.0.1-1build2_all.deb     22-Apr-2012 01:03  1.6M  
 libghc-agda-doc_2.3.0.1-2build1_all.deb     27-Aug-2012 20:33  1.7M  
 libghc6-agda-dev_2.2.6-3_amd64.deb          04-Mar-2010 23:05  9.6M  
 libghc6-agda-dev_2.2.6-3_i386.deb           04-Mar-2010 23:06  9.1M  
 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-doc_2.2.10-1~ubuntu1_all.deb   25-Feb-2011 03:05  1.2M  
 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