[m-dev.] Re: [mercury-users] Mercury 0.11.0 RPMs

Ralph Becket rafe at cs.mu.OZ.AU
Mon Feb 9 10:49:13 AEDT 2004

Fergus Henderson, Monday,  9 February 2004:
> Due to popular demand...
> I have now made SRPMs and binary RPMs for RedHat 8.0 (x86)
> of both mercury-0.11.1-beta-2004-06-02 and mercury-rotd-2003-12-21
> available on our web site and ftp site.
> If you're looking for 0.11.0 RPMs, please use the 0.11.1-beta RPMs.
> Those are the same as 0.11.0 but with some additional bug fixes.
> I have also set up a cron job to automatically build (S)RPMs for both
> stable ("passed all test cases") and unstable ("failed at least one test
> case") variants of our development branch (rotd-*) and also for our
> release branch (0.11.1-beta-*).  They should each get generated about
> once or twice a week.

Hi Fergus,

should we need to edit these jobs in future, whereabout are the scripts kept?

-- Ralph
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list