[mercury-users] unable to download Mercury source files

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Dec 9 21:33:46 AEDT 2008

On Tue, 9 Dec 2008, Jörg Schuster wrote:

> Hello,
> the download links for the Mercury source files -- the stable files as
> well as the rotd-files -- have not been working the last few days. Or,
> at least, they do not work here in Europe.

We have been rearranging things here and some DNS aliases that should
have been updated, haven't yet been updated.  You can find the rotd
files here:



More information about the users mailing list