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

2008-02-19 Thread Roy Ward
ts into Debian. With what limited time I've got, I'm also happy to help in any way I can. 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?

2008-02-19 Thread Roy Ward
cc-4.2, but it would take 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,

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

2007-12-12 Thread Roy Ward
me spending time on this - I'm shortly going away till end of Jan. 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-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
o build) and I want to have something pretty much right before a sponsor gets to spend any time 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-06-01 Thread Roy Ward
but thought I'd get this out early so 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]