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

../
agda-bin_2.2.6-1+b1_amd64.deb                      26-Jan-2010 09:32      3M
agda-bin_2.2.6-1+b1_i386.deb                       26-Jan-2010 09:32      3M
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.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      5M
agda-bin_2.3.0.1-1_i386.deb                        12-Mar-2012 23:17      4M
agda-bin_2.3.0.1.orig.tar.gz                       12-Mar-2012 13:47    1765