/ubuntu/pool/universe/a/agda-bin/


../
agda-bin_2.3.0.1-1.diff.gz                         18-Mar-2012 21:33                3008
agda-bin_2.3.0.1-1.dsc                             18-Mar-2012 21:33                1370
agda-bin_2.3.0.1-1_amd64.deb                       18-Mar-2012 22:33             4888692
agda-bin_2.3.0.1-1_i386.deb                        18-Mar-2012 21:33             4567414
agda-bin_2.3.0.1.orig.tar.gz                       18-Mar-2012 21:33                1765