[m-dev.] Mercury in Debian 1.3

[Fergus Henderson]

Tyson Richard DOWD, you wrote:
> > 
> > I don't know whether others are aware of this.
> > 
> > Debian 1.3 (a popular Linux distribution) was released on the 2nd of
> > June.  It appears Mercury 0.6.1 has been packaged into a Debian package.
> 
> I didn't get any response from this last time. I'm willing to deal with
> issues arising from this (web page updates, talking to Milan Zamazal,
> merging diffs into the main development line, etc). Does anyone have any
> objections to this?

No, go ahead.  I had a look at the diffs.  
The main issue is the `mc' name clash problem;
I don't know what the best solution to that is.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.