[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?
Ta,
-- 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