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

../
agda-bin_2.2.6-1+b1_amd64.deb                      26-Jan-2010 09:32             2854510
agda-bin_2.3.0.1-1_amd64.deb                       12-Mar-2012 13:47             4911722