Bug#446665: mercury: should this package be removed?

2008-02-19 Thread Roy Ward
someone with more knowledge than me to fix that). I use 0.13.1, but the version to package depends on: * when there is going to be another release (I don't know this) * whether most current users use 0.13.1 or ROTD (I don't know but can find this out). Cheers, Roy Ward. Barry Freese wrote: Hi

Bug#379682: mercury: should this package be removed?

2008-02-19 Thread Roy Ward
. Cheers, Roy Ward. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

Bug#446665: mercury: should this package be removed?

2007-12-12 Thread Roy Ward
it is at least a viable option. If anyone else reads this (and I could check on the Mercury mailing list as well and ask the other users directly), I'm open to suggestions on this. There's also another delay on me spending time on this - I'm shortly going away till end of Jan. Cheers, Roy Ward

Bug#446665: mercury: should this package be removed?

2007-11-29 Thread Roy Ward
Lucas Nussbaum wrote: Have you made some progress on this package? Some, but not enough to submit a package. One bit of news is that gcc-3.3 is going to be the required compiler. I've looking at building Mercury 0.13.1 with several versions of gcc on x86 and amd64, and while projects are fine

Bug#446665: mercury: should this package be removed?

2007-10-14 Thread Roy Ward
on it. Cheers, Roy Ward. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

Bug#423298: mercury: should this package be orphaned?

2007-10-13 Thread Roy Ward
Lucas Nussbaum wrote: severity 423298 normal reassign 423298 wnpp retitle 423298 O: mercury -- A new logic/functional programming language thanks On 01/06/07 at 22:02 +1200, Roy Ward wrote: I'd like to adopt the mercury (and mercury-docs) packages, unless someone more qualified wishes to do

Bug#423298: mercury: should this package be orphaned?

2007-06-01 Thread Roy Ward
as to avoid any risk of duplication of effort - if someone else is looking at doing this, please let me know! Cheers, Roy Ward. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]