Index of /old-ubuntu/pool/universe/a/agda-bin/

../
agda-bin_2.3.0.1-1_amd64.deb                                                                                             18-Mar-2012 22:33      5M
agda-bin_2.3.0.1-1_i386.deb                                                                                              18-Mar-2012 21:33      4M