[mercury-users] Debian package?

[Peter Hawkins]

Hi...

The package in the Debian repository was from when I was using Mercury
and Debian on a regular basis.   Since I don't really do either these
days, I stopped maintaining it some time ago.

On 5/31/07, Roy Ward <royward770 at actrix.co.nz> wrote:
> 1) Is there someone else about to take this on? I don't want to step on anyones toes on this.
> 2) Are there technical reasons why it's not a good idea to try and have a Mercury package as part of the Debian reopsitory?

The only thing that really comes to mind is that there is no stable
shared library ABI, so packaging shared libraries seems like a bad
idea.

> 3) Are there political/other reasons why it's not a good idea to try and have a Mercury package as part of the Debian
> reopsitory?
> 4) I've not a Mercury developer - would the dev team be OK about having an outsider doing the packaging?
> 5) There is a Dummy RC bug (#281369) to prevent Mercury getting into testing/stable - is this because of the problem
> with various versions of gcc, or is there some other reason for this?

I've entirely forgotten. I suspect it was because I didn't want
various arbitrary releases of the day from being incorporated into
released debian distributions.

Cheers,
Peter
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------