[mercury-users] bug in mmc --aditi

[Fergus Henderson]

On 05-Aug-2001, Holger Krug <hkrug at rationalizer.com> wrote:
> 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.

This is a wierd effect due to different time zones.

The date in the filename indicates the date when the sources were checked out,
Melbourne time.  This is the one you should use to determine which is the
"latest" one.

The date on the file indicates the date when the build finished and the
file was copied to the ftp server.  Apparently either the ftp server
or your ftp client is converting this date from Melbourne time to UTC
or to your local time, hence the value here can appear to precede the
date in the file name.

> * 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 ?

The sources are available in mercury-compiler-*,
e.g. mercury-compiler-0.10.2-beta-2001-07-29.tar.gz.

If you want sources which exactly match a given binary snapshot,
then you'll need to use CVS.

-- 
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
--------------------------------------------------------------------------