This Savannah (nongnu) Mirror is hosted by easyname.

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]11.0.6/2019-09-25 17:12 -  
[DIR]11.0.7/2019-09-25 16:47 -  
[DIR]12.0.0/2019-09-25 13:11 -  
[DIR]13.0.0/2019-09-25 18:17 -  
[DIR]13.1.0/2019-09-25 12:21 -  
[DIR]13.1.2/2019-09-25 12:01 -  
[DIR]13.1.3/2019-09-25 18:18 -  
[DIR]13.2.0/2019-09-18 15:33 -  
[DIR]14.0.0/2019-08-29 15:41 -  
[DIR]15.0.0/2019-09-19 17:22 -  
[DIR]15.1.0/2019-09-24 09:38 -  
[DIR]15.1.1/2019-10-21 11:46 -  

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