This Savannah (nongnu) Mirror is hosted by easyname.

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]galois-0.2-mingw32.exe2013-01-27 18:13 16M 
[   ]galois-0.3-mingw32.exe2014-03-25 15:49 17M 
[   ]galois-0.4-mingw32.exe2015-07-14 20:29 16M 
[   ]galois-0.5-mingw32.exe2017-11-16 19:11 19M 
[   ]galois-0.6-mingw32.exe2018-06-30 18:00 19M 
[   ]galois-0.7-mingw32.exe2020-08-29 13:12 22M 
[   ]galois-0.8-mingw32.exe2022-11-05 13:46 25M 

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