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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]agda-bin_2.3.0.1-1.diff.gz18-Mar-2012 14:33 2.9K 
[TXT]agda-bin_2.3.0.1-1.dsc18-Mar-2012 14:33 1.3K 
[   ]agda-bin_2.3.0.1-1_amd64.deb18-Mar-2012 15:33 4.7M 
[   ]agda-bin_2.3.0.1-1_i386.deb18-Mar-2012 14:33 4.4M 
[   ]agda-bin_2.3.0.1.orig.tar.gz18-Mar-2012 14:33 1.7K