[mercury-users] Mercury 0.11.0 RPMs

[Fergus Henderson]

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.

The URL is <ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/beta-releases/>
and in particular rotd/mercury-compiler-rotd_2003_12_21-1.{i386,src}.rpm
and 0.11.1-beta/mercury-compiler-0.11.1_beta-2003_12_21-1.{i386,src}.rpm.
They are also available on the web site, at
<http://www.cs.mu.oz.au/mercury/download/files/beta-releases/>,
but currently the Mercury web site is down (for reasons beyond my control).

I have not yet tested the RPMs!
Please test them and let me know whether they work.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------