This Savannah (nongnu) Mirror is hosted by easyname.

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]mini-httpd-1.7.tar.gz2017-08-29 13:00 516K 
[   ]mini-httpd-1.6.tar.gz2016-04-04 15:00 311K 
[   ]mini-httpd-1.5.tar.gz2015-10-02 15:10 300K 
[   ]mini-httpd-1.4.tar.gz2013-03-27 23:59 288K 
[   ]mini-httpd-1.3.tar.gz2013-03-20 14:38 287K 
[   ]mini-httpd-1.2.tar.gz2013-02-09 22:51 283K 
[   ]mini-httpd-1.1.tar.gz2010-03-05 11:58 239K 
[   ]mini-httpd-1.4.tar.gz.sig2013-03-27 23:59 490  
[   ]mini-httpd-1.3.tar.gz.sig2013-03-20 14:38 490  
[   ]mini-httpd-1.2.tar.gz.sig2013-02-09 22:51 490  
[   ]mini-httpd-1.7.tar.gz.sig2017-08-29 13:00 488  
[   ]mini-httpd-1.1.tar.gz.sig2010-03-05 11:58 482  
[   ]mini-httpd-1.6.tar.gz.sig2016-04-04 15:00 473  
[   ]mini-httpd-1.5.tar.gz.sig2015-10-02 15:10 473  

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