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 th

Bug#556646: ITP: haskell-hscurses -- NCurses bindings for Haskell

2009-11-17 Thread Paul Bone
Package: wnpp Severity: wishlist Owner: Paul Bone * Package name: haskell-hscurses Version : 1.3.0.2 Upstream Authors: John Meacham : Tuomo Valkonen : Don Stewart <http://www.cse.unsw.edu.au/~dons> : Stefan Wehr

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: > > > &g

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

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 > &g

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

Bug#507337: ITP: zoneclient -- Update DNS records kept by zoneedit.com as necessary

2008-11-29 Thread Paul Bone
Package: wnpp Severity: wishlist Owner: Paul Bone <[EMAIL PROTECTED]> * Package name: zoneclient Version : 0.60 Upstream Author : Kal <[EMAIL PROTECTED]> * URL : http://zoneclient.sourceforge.net/ * License : GPL2 Programming Lang: Python