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

[ICO]NameLast modifiedSizeDescription

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

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