Index of /packages/master/30d72a3ae33aff1765f92fe76b55a5863ec62c13

[ICO]NameLast modifiedSizeDescription

[   ]CiaoDE-1.15-1642-g30d72a3.exe2013-02-01 16:45 22M 
[   ]CiaoDE-1.15-1642.g30d72a3.i386.rpm2013-02-01 16:45 21M 
[   ]ciaode_1.15-1642.g30d72a3_i386.deb2013-02-01 16:45 21M 
[   ]CiaoDE-1.15-1642-g30d72a3.dmg2013-02-01 16:45 19M 
[   ]CiaoDE-1.15-1642-g30d72a3.tar.gz2013-02-01 16:45 12M 
[   ]desc.tmpl2013-02-01 16:45 1.0K 

Apache/2.4.10 (Debian) Server at ciao-lang.org Port 80