Index of /debian/8rc1/cd-3/pool/main/a/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-bin_2.4.0.2-2+b1_amd64.deb2014-09-07 15:27 3.7M 
[   ]agda-mode_2.4.0.2-2_all.deb2014-08-11 08:28 86K 
[   ]agda_2.4.0.2-2_all.deb2014-08-11 08:28 55K 
[   ]libghc-agda-dev_2.4.0.2-2+b1_amd64.deb2014-09-07 15:27 9.3M 

Apache/2.4.38 (Debian) Server at 177.87.230.26 Port 81