This Savannah (nongnu) Mirror is hosted by easyname.

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]galois_0.8-1_i386.deb2022-11-05 13:45 250K 
[   ]galois_0.8-1_amd64.deb2022-11-05 13:45 246K 
[   ]galois_0.7-1_i386.deb2020-08-29 13:11 261K 
[   ]galois_0.7-1_amd64.deb2020-08-29 13:11 258K 
[   ]galois_0.6-1_i386.deb2018-06-30 17:59 256K 
[   ]galois_0.6-1_amd64.deb2018-06-30 17:59 247K 
[   ]galois_0.5-1_i386.deb2017-11-16 19:07 256K 
[   ]galois_0.5-1_amd64.deb2017-11-16 19:07 248K 
[   ]galois_0.4-1_i386.deb2015-07-14 20:23 259K 
[   ]galois_0.3-1_i386.deb2014-03-25 20:36 321K 
[   ]galois_0.2-1_i386.deb2013-01-26 22:53 539K 

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