This Savannah (nongnu) Mirror is hosted by easyname.

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]BLT2.4o.tar.gz2013-08-01 23:20 1.7M 
[   ]README2013-08-01 23:21 188  
[DIR]diffs/2013-08-01 23:20 -  
[   ]gcc-2.95.2.tar.gz2013-08-01 23:20 12M 
[   ]gdb-4.16.tar.gz2013-08-01 23:20 5.7M 
[   ]gdb-4.17.tar.gz2013-08-01 23:20 8.6M 
[   ]gdb-4.18.tar.gz2013-08-01 23:20 11M 
[   ]gdb-objc-4.16.tar.gz2013-08-01 23:20 6.0M 
[   ]hdf5-1.2.1.tar.gz2013-08-01 23:20 1.4M 
[   ]kaffe-1.0.5.tar.gz2013-08-01 23:20 3.0M 
[   ]libffi-1.20.tar.gz2013-08-01 23:20 107K 
[   ]libpng-1.0.5.tar.gz2013-08-01 23:20 292K 
[   ]make-3.78.1.tar.gz2013-08-01 23:20 756K 
[DIR]old/2013-08-01 23:21 -  
[   ]tcl8.2.3.tar.gz2013-08-01 23:21 2.4M 
[   ]tk8.2.3.tar.gz2013-08-01 23:21 2.2M 
[   ]xpm-3.4k.tar.gz2013-08-01 23:21 145K 
[   ]zlib-1.1.3.tar.gz2013-08-01 23:21 165K 

Apache/2.4.59 (Debian) Server at mirror.easyname.de Port 80