Index of ftp://deb.uhss.ru/debian/pool/main/a/agda-bin

[DIR] Parent Directory

[ ] agda-bin_2.2.6-1+b1_amd64.deb  2.72Mb  January 26 2010  [find mirrors]
[ ] agda-bin_2.2.6-1+b1_i386.deb  2.56Mb  January 26 2010  [find mirrors]
[ ] agda-bin_2.3.0-1_i386.deb  4.74Mb  November 23 2011  [find mirrors]
[ ] agda-bin_2.3.0.1-1_amd64.deb  4.68Mb  March 12 2012  [find mirrors]
[ ] agda-bin_2.3.0.1-1_i386.deb  4.37Mb  March 12 2012  [find mirrors]