[mercury-users] bug in mmc --aditi

[Holger Krug]

On Wed, Aug 01, 2001 at 02:31:31AM +1000, Fergus Henderson wrote:
> I've just committed a fix for that.
> The patch has been posted to the mercury-reviews mailing list
> and will be included in tomorrow's rotd and 0.10.2-beta releases.

Two questions related to this:

* What is the latest beta currently available on the Mercury ftp site.
  Is it mercury-0.10.2-beta-2001-07-31... of Aug  1 05:09 or
  mercury-0.10.2-beta-2001-08-01... of Jul 31 ? The same applies to
  rotd.
* I downloaded 
  mercury-0.10.2-beta-2001-07-31.i686-pc-linux-libc2.1-gnu-O2.tar.gz.
  It seems to contain no sources. Where can I get actual sources ?

-- 
Holger Krug
hkrug at rationalizer.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------