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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[CMP]agda-bin_2.3.0.1-1.d..>2012-03-19 05:33 2.9K 
[TXT]agda-bin_2.3.0.1-1.dsc 2012-03-19 05:33 1.3K 
[   ]agda-bin_2.3.0.1-1_a..>2012-03-19 06:33 4.7M 
[   ]agda-bin_2.3.0.1-1_i..>2012-03-19 05:33 4.4M 
[CMP]agda-bin_2.3.0.1.ori..>2012-03-19 05:33 1.7K