Index of ftp://195.206.63.158/mirrors/ru.archive.ubuntu.com/ubuntu/pool/universe/a/agda

`agda-mode_2.2.10-3build1_all.deb`	`38.95Kb`	`July 9 2011`	`[find mirrors]`
`agda-mode_2.2.6-3_all.deb`	`38.36Kb`	`March 4 2010`	`[find mirrors]`
`agda-mode_2.3.0.1-1build2_all.deb`	`39.87Kb`	`April 21 2012`	`[find mirrors]`
`agda_2.2.10-3build1_all.deb`	`2.92Kb`	`July 9 2011`	`[find mirrors]`
`agda_2.3.0.1-1build2_all.deb`	`2.91Kb`	`April 21 2012`	`[find mirrors]`
`haskell-agda-doc_2.2.6-3_all.deb`	`1.01Mb`	`March 4 2010`	`[find mirrors]`
`libghc-agda-dev_2.2.10-3build1_amd64.deb`	`10.37Mb`	`July 9 2011`	`[find mirrors]`
`libghc-agda-dev_2.2.10-3build1_i386.deb`	`9.74Mb`	`July 9 2011`	`[find mirrors]`
`libghc-agda-dev_2.3.0.1-1build2_amd64.deb`	`12.43Mb`	`April 21 2012`	`[find mirrors]`
`libghc-agda-dev_2.3.0.1-1build2_i386.deb`	`11.82Mb`	`April 21 2012`	`[find mirrors]`
`libghc-agda-doc_2.2.10-3build1_all.deb`	`1.39Mb`	`July 9 2011`	`[find mirrors]`
`libghc-agda-doc_2.3.0.1-1build2_all.deb`	`1.61Mb`	`April 21 2012`	`[find mirrors]`
`libghc6-agda-dev_2.2.6-3_amd64.deb`	`9.58Mb`	`March 4 2010`	`[find mirrors]`
`libghc6-agda-dev_2.2.6-3_i386.deb`	`9.09Mb`	`March 4 2010`	`[find mirrors]`
`libghc6-agda-prof_2.2.6-3_amd64.deb`	`14.18Mb`	`March 4 2010`	`[find mirrors]`
`libghc6-agda-prof_2.2.6-3_i386.deb`	`12.99Mb`	`March 4 2010`	`[find mirrors]`