[mercury-users] Debian package?

Julien Fischer juliensf at csse.unimelb.edu.au
Fri Jun 1 13:28:38 AEST 2007


On Fri, 1 Jun 2007, Roy Ward wrote:

> I noticed that the Debian packages for Mercury were recently orphaned:
>
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=379682
>
> I have been thinking of stepping up to the plate and taking this on, but I 
> thought it was worth checking a few things out here first:
>
> 1) Is there someone else about to take this on? I don't want to step on 
> anyones toes on this.

See Peter's post.

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

Not that I know of.  It's certainly been a part of Debian in the past.

> 4) I've not a Mercury developer - would the dev team be OK about having an 
> outsider doing the packaging?

It's fine by us.

> 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?
> 6) USERS: are there other Mercury users that would make use of this?
>
> This is just an initial query - I'd have to learn more about the Debian 
> packing system, find a sponsor (I'm not a Debian Developer), etc.
>
> If it's not appropriate for me to put packages in Debian, I might still look 
> at putting some .deb files on a website somewhere.
>
> My plan would be to only package the latest numbered release (currently 13.1) 
> unless there is some real showstopper bug that was fixed in a rotd, and to 
> make it depend on an appropriate version of gcc.

The appropriate version of gcc for 0.13.1 would be gcc 3.4.

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



More information about the users mailing list