Index of /debian/pool/main/a/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-bin_2.4.0.2-2+b1_amd64.deb2014-09-07 21:27 3.7M 
[   ]agda-bin_2.4.0.2-2+b1_i386.deb2014-09-08 10:57 3.6M 
[   ]agda-mode_2.3.0.1-2_all.deb2012-05-27 00:32 45K 
[   ]agda-mode_2.4.0.2-2_all.deb2014-08-11 14:28 86K 
[   ]agda_2.3.0.1-2_all.deb2012-05-27 00:32 13K 
[   ]agda_2.4.0.2-2_all.deb2014-08-11 14:28 55K 
[   ]libghc-agda-dev_2.3.0.1-2+b1_amd64.deb2012-05-28 02:02 12M 
[   ]libghc-agda-dev_2.3.0.1-2_i386.deb2012-05-27 01:32 12M 
[   ]libghc-agda-dev_2.4.0.2-2+b1_amd64.deb2014-09-07 21:27 9.3M 
[   ]libghc-agda-dev_2.4.0.2-2+b1_i386.deb2014-09-08 10:57 9.2M 
[   ]libghc-agda-doc_2.3.0.1-2_all.deb2012-05-27 00:32 1.7M 
[   ]libghc-agda-doc_2.4.0.2-2_all.deb2014-08-11 14:28 1.9M 

Apache/2.4.10 (Debian) Server at debian.networx-bg.com Port 80