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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]agda-bin_2.3.0.1-1.diff.gz2012-03-18 21:33 2.9K
[   ]agda-bin_2.3.0.1-1.dsc2012-03-18 21:33 1.3K
[   ]agda-bin_2.3.0.1-1_amd64.deb2012-03-18 22:33 4.7M
[   ]agda-bin_2.3.0.1-1_i386.deb2012-03-18 21:33 4.4M
[   ]agda-bin_2.3.0.1.orig.tar.gz2012-03-18 21:33 1.7K

Apache/2.4.18 (Ubuntu) Server at ca.archive.ubuntu.com Port 80