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

File NameFile SizeDate
Parent directory/--
agda-bin_2.2.6-1+b1_amd64.deb 3M26-Jan-2010 09:32
agda-bin_2.2.6-1+b1_i386.deb 3M26-Jan-2010 09:32