Re: Bug#538802: ITP: mercury -- The Mercury programming system, a pure logical/functional programming language.

2011-02-20 Thread Paul Bone
On Tue, Jul 28, 2009 at 05:48:07PM +1000, Paul Bone wrote: > On Tue, Jul 28, 2009 at 09:30:58AM +0200, Lucas Nussbaum wrote: > > > > gcc-3.4 is about to be removed from Debian (#536777). How do you plan to > > deal with that? > > We use a comple of GCC extensions that cause problems with more rec

Re: Bug#538802: ITP: mercury -- The Mercury programming system, a pure logical/functional programming language.

2009-07-28 Thread Paul Bone
On Tue, Jul 28, 2009 at 09:30:58AM +0200, Lucas Nussbaum wrote: > On 28/07/09 at 10:58 +1000, Paul Bone wrote: > > On Mon, Jul 27, 2009 at 05:13:06PM +, brian m. carlson wrote: > > > On Mon, Jul 27, 2009 at 05:34:44PM +1000, Paul Bone wrote: > > > > * Package name: mercury > > > > Version

Re: Bug#538802: ITP: mercury -- The Mercury programming system, a pure logical/functional programming language.

2009-07-28 Thread Lucas Nussbaum
On 28/07/09 at 10:58 +1000, Paul Bone wrote: > On Mon, Jul 27, 2009 at 05:13:06PM +, brian m. carlson wrote: > > On Mon, Jul 27, 2009 at 05:34:44PM +1000, Paul Bone wrote: > > > * Package name: mercury > > > Version : 0.13.1-rotd20090725 > > > Upstream Author : Mercury Group >

Re: Bug#538802: ITP: mercury -- The Mercury programming system, a pure logical/functional programming language.

2009-07-28 Thread Reinhard Tartler
Paul Bone writes: > This is mostly correct. Mercury is indeed self-hosting and was > previously included in Debian. Mercury has a number of different > backends two of these target C, high-level C and low-level C. The > Mercury source distribution includes C intermediate files for the > standa

Re: Bug#538802: ITP: mercury -- The Mercury programming system, a pure logical/functional programming language.

2009-07-27 Thread Paul Bone
On Tue, Jul 28, 2009 at 08:35:14AM +0200, Reinhard Tartler wrote: > Paul Bone writes: > > > This is mostly correct. Mercury is indeed self-hosting and was > > previously included in Debian. Mercury has a number of different > > backends two of these target C, high-level C and low-level C. The

Re: Bug#538802: ITP: mercury -- The Mercury programming system, a pure logical/functional programming language.

2009-07-27 Thread Paul Bone
On Mon, Jul 27, 2009 at 05:13:06PM +, brian m. carlson wrote: > On Mon, Jul 27, 2009 at 05:34:44PM +1000, Paul Bone wrote: > > * Package name: mercury > > Version : 0.13.1-rotd20090725 > > Upstream Author : Mercury Group > > * URL : http://www.mercury.csse.unimelb.e

Re: Bug#538802: ITP: mercury -- The Mercury programming system, a pure logical/functional programming language.

2009-07-27 Thread brian m. carlson
On Mon, Jul 27, 2009 at 05:34:44PM +1000, Paul Bone wrote: > * Package name: mercury > Version : 0.13.1-rotd20090725 > Upstream Author : Mercury Group > * URL : http://www.mercury.csse.unimelb.edu.au/ > * License : GPL2 > Programming Lang: Mercury > Descript

Bug#538802: ITP: mercury -- The Mercury programming system, a pure logical/functional programming language.

2009-07-27 Thread Paul Bone
Package: wnpp Severity: wishlist Owner: Paul Bone -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 * Package name: mercury Version : 0.13.1-rotd20090725 Upstream Author : Mercury Group * URL : http://www.mercury.csse.unimelb.edu.au/ * License : GPL2 Programmi