This Savannah (nongnu) Mirror is hosted by easyname.

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]galois_0.8.orig.tar.gz2022-11-05 13:45 284K 
[   ]galois_0.8-1.dsc2022-11-05 13:45 1.0K 
[   ]galois_0.8-1.debian.tar.xz2022-11-05 13:45 2.2K 
[   ]galois_0.7.orig.tar.gz2020-08-29 13:10 289K 
[   ]galois_0.7-1.dsc2020-08-29 13:10 1.0K 
[   ]galois_0.7-1.debian.tar.xz2020-08-29 13:10 2.0K 
[   ]galois_0.6.orig.tar.gz2018-06-30 17:58 286K 
[   ]galois_0.6-1.dsc2018-06-30 17:58 830  
[   ]galois_0.6-1.debian.tar.xz2018-06-30 17:58 1.9K 
[   ]galois_0.5.orig.tar.gz2017-11-16 19:07 285K 
[   ]galois_0.5-1.dsc2017-11-16 19:07 859  
[   ]galois_0.5-1.debian.tar.xz2017-11-16 19:07 2.0K 
[   ]galois_0.4.orig.tar.gz2015-07-14 20:22 282K 
[   ]galois_0.4-1.dsc2015-07-14 20:22 857  
[   ]galois_0.4-1.debian.tar.xz2015-07-14 20:22 2.1K 
[   ]galois_0.3.orig.tar.gz2014-03-25 20:41 250K 
[   ]galois_0.3-1.dsc2014-03-25 20:38 856  
[   ]galois_0.3-1.debian.tar.gz2014-03-25 20:41 1.8K 
[   ]galois_0.2.orig.tar.gz2013-01-26 22:49 487K 
[   ]galois_0.2-1.dsc2013-01-26 22:45 816  
[   ]galois_0.2-1.debian.tar.gz2013-01-26 22:45 2.0K 

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