This Savannah (nongnu) Mirror is hosted by easyname.

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]10.2.0-beta/2020-02-25 17:19 -  
[DIR]10.2.1-beta/2020-02-25 17:19 -  
[DIR]10.2.2-beta/2020-02-25 17:20 -  
[DIR]10.2.4-beta/2020-02-25 17:20 -  
[DIR]10.2.5-beta/2020-02-25 17:20 -  
[DIR]11.0.0/2020-02-25 17:05 -  
[DIR]11.0.1/2020-02-25 17:06 -  
[DIR]11.0.2/2020-02-25 16:52 -  
[DIR]11.0.4/2020-02-25 16:50 -  
[DIR]11.0.5/2020-02-25 16:48 -  
[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