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

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 agda-stdlib_0.3-1ubuntu2.dsc          16-Feb-2010 21:04  1.3K  
 agda-stdlib_0.6-2.dsc                 19-Mar-2012 05:33  1.4K  
 agda-stdlib_0.5-1.dsc                 18-Jun-2011 01:05  1.9K  
 agda-stdlib_0.5-1~ubuntu1.dsc         01-Mar-2011 09:04  1.9K  
 agda-stdlib_0.5-1.diff.gz             18-Jun-2011 01:05  3.6K  
 agda-stdlib_0.3-1ubuntu2.diff.gz      16-Feb-2010 21:04  3.6K  
 agda-stdlib_0.5-1~ubuntu1.diff.gz     01-Mar-2011 09:04  3.7K  
 agda-stdlib_0.6-2.debian.tar.gz       19-Mar-2012 05:33  4.1K  
 agda-stdlib_0.3.orig.tar.gz           14-Feb-2010 00:04  150K  
 agda-stdlib_0.5.orig.tar.gz           01-Mar-2011 09:04  193K  
 agda-stdlib_0.6.orig.tar.gz           04-Jan-2012 09:04  211K  
 agda-stdlib-doc_0.3-1ubuntu2_all.deb  16-Feb-2010 21:04  1.1M  
 agda-stdlib-doc_0.5-1_all.deb         18-Jun-2011 01:05  1.5M  
 agda-stdlib-doc_0.5-1~ubuntu1_all.deb 01-Mar-2011 09:04  1.5M  
 agda-stdlib-doc_0.6-2_all.deb         19-Mar-2012 06:03  1.6M  
 agda-stdlib_0.3-1ubuntu2_amd64.deb    16-Feb-2010 22:10   11M  
 agda-stdlib_0.3-1ubuntu2_i386.deb     16-Feb-2010 21:04   11M  
 agda-stdlib_0.5-1_all.deb             18-Jun-2011 01:05   15M  
 agda-stdlib_0.5-1~ubuntu1_all.deb     01-Mar-2011 09:04   15M  
 agda-stdlib_0.6-2_all.deb             19-Mar-2012 06:03   16M