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

[ICO]NameLast modifiedSizeDescription

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