Andreas Enge <andr...@enge.fr> skribis: > On Fri, Oct 30, 2015 at 06:06:26PM +0100, Ludovic Courtès wrote: >> So we need another solution. Any suggestions? > > I would not mind hosting it on enge.fr, but this is of course less reliable > than "real" hosting, since the machine is in my living room. Alternatively, > I could host it with a commercial hoster at multiprecision.org.
Could you put a copy at multiprecision.org? That would be great. Thanks! Ludo’.
