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

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