This Savannah (nongnu) Mirror is hosted by easyname.

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]15.1.2.tar.bz22020-03-02 09:14 10M 
[TXT]15.1.2.tar.bz2.asc2020-03-02 09:14 499  
[   ]15.1.2.tar.bz2.sig2020-03-02 09:14 310  
[   ]15.1.2.tar.gz2020-03-02 09:14 10M 
[TXT]15.1.2.tar.gz.asc2020-03-02 09:14 499  
[   ]15.1.2.tar.gz.sig2020-03-02 09:14 310  
[   ]15.1.2.zip2020-03-02 09:15 10M 
[TXT]15.1.2.zip.asc2020-03-02 09:15 499  
[   ]15.1.2.zip.sig2020-03-02 09:15 310  

Apache/2.4.38 (Debian) Server at mirror.easyname.at Port 443