Index of /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_armel.deb2012-03-18 21:33 6.9M
[   ]agda-bin_2.3.0.1-1_armhf.deb2012-03-18 21:33 6.9M
[   ]agda-bin_2.3.0.1-1_powerpc.deb2012-04-20 19:03 4.6M
[   ]agda-bin_2.3.0.1.orig.tar.gz2012-03-18 21:33 1.7K

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