Index of /debian-archive/debian/pool/main/a/agda-bin/


../
agda-bin_2.2.6-1+b1_amd64.deb                      26-Jan-2010 09:32             2854510
agda-bin_2.2.6-1+b1_i386.deb                       26-Jan-2010 09:32             2679238
agda-bin_2.2.6-1+b1_kfreebsd-i386.deb              26-Jan-2010 15:47             2675762
agda-bin_2.2.6-1.diff.gz                           11-Jan-2010 17:47                2449
agda-bin_2.2.6-1.dsc                               11-Jan-2010 17:47                1329
agda-bin_2.2.6-1_kfreebsd-amd64.deb                27-Feb-2010 05:32             2895316
agda-bin_2.2.6.orig.tar.gz                         11-Jan-2010 17:47                1681
agda-bin_2.3.0.1-1.diff.gz                         12-Mar-2012 13:47                3008
agda-bin_2.3.0.1-1.dsc                             12-Mar-2012 13:47                1370
agda-bin_2.3.0.1-1_amd64.deb                       12-Mar-2012 13:47             4911722
agda-bin_2.3.0.1-1_armhf.deb                       27-Mar-2012 04:47             7200416
agda-bin_2.3.0.1-1_i386.deb                        12-Mar-2012 23:17             4587078
agda-bin_2.3.0.1-1_kfreebsd-amd64.deb              13-Mar-2012 01:17             5739078
agda-bin_2.3.0.1-1_kfreebsd-i386.deb               13-Mar-2012 06:32             5363364
agda-bin_2.3.0.1-1_s390x.deb                       13-Mar-2012 01:47            15379808
agda-bin_2.3.0.1.orig.tar.gz                       12-Mar-2012 13:47                1765