Index of /Linux/Debian/debian/pool/main/a/agda-stdlib

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 agda-stdlib-doc_0.3-3_all.deb                      03-Mar-2010 19:32  1.1M  
 agda-stdlib-doc_0.5-1_all.deb                      24-May-2011 18:08  1.5M  
 agda-stdlib-doc_0.6-1_all.deb                      31-Dec-2011 04:47  1.6M  
 agda-stdlib-doc_0.6-2_all.deb                      14-Mar-2012 17:47  1.6M  
 agda-stdlib-doc_0.6~darcs20111129t1640-1_all.deb   30-Nov-2011 01:32  1.6M  
 agda-stdlib_0.3-3.diff.gz                          03-Mar-2010 19:32  3.7K  
 agda-stdlib_0.3-3.dsc                              03-Mar-2010 19:32  1.2K  
 agda-stdlib_0.3-3_amd64.deb                        03-Mar-2010 19:32   12M  
 agda-stdlib_0.3-3_i386.deb                         04-Mar-2010 01:17   12M  
 agda-stdlib_0.3-3_kfreebsd-i386.deb                03-Mar-2010 23:32   11M  
 agda-stdlib_0.3-3_powerpc.deb                      04-Mar-2010 08:17   12M  
 agda-stdlib_0.3-3_sparc.deb                        13-Mar-2010 08:17   12M  
 agda-stdlib_0.3.orig.tar.gz                        06-Feb-2010 01:17  147K  
 agda-stdlib_0.5-1.diff.gz                          24-May-2011 18:08  3.6K  
 agda-stdlib_0.5-1.dsc                              24-May-2011 18:08  1.9K  
 agda-stdlib_0.5-1_all.deb                          24-May-2011 18:08   15M  
 agda-stdlib_0.5.orig.tar.gz                        24-May-2011 18:08  193K  
 agda-stdlib_0.6-1.debian.tar.gz                    31-Dec-2011 04:47  4.0K  
 agda-stdlib_0.6-1.dsc                              31-Dec-2011 04:47  2.0K  
 agda-stdlib_0.6-1_all.deb                          31-Dec-2011 04:47   16M  
 agda-stdlib_0.6-2.debian.tar.gz                    14-Mar-2012 17:47  4.1K  
 agda-stdlib_0.6-2.dsc                              14-Mar-2012 17:47  1.4K  
 agda-stdlib_0.6-2_all.deb                          14-Mar-2012 17:47   16M  
 agda-stdlib_0.6.orig.tar.gz                        31-Dec-2011 04:47  211K  
 agda-stdlib_0.6~darcs20111129t1640-1.debian.tar.gz 30-Nov-2011 01:32  3.9K  
 agda-stdlib_0.6~darcs20111129t1640-1.dsc           30-Nov-2011 01:32  2.1K  
 agda-stdlib_0.6~darcs20111129t1640-1_all.deb       30-Nov-2011 01:32   16M  
 agda-stdlib_0.6~darcs20111129t1640.orig.tar.bz2    30-Nov-2011 01:32  162K