Bug#494488: ITP: polyml -- Standard ML implementation

2008-08-10 Thread Guus Sliepen
On Sat, Aug 09, 2008 at 11:45:49PM +0200, Lionel Elie Mamane wrote: > * Package name: polyml [...] > Description : Standard ML implementation > > Poly/ML supports the full version of the language as given in the > "Definition of Standard ML (Revised)", generally known as ML97. As >

Bug#494488: ITP: polyml -- Standard ML implementation

2008-08-09 Thread Lionel Elie Mamane
On Sat, Aug 09, 2008 at 11:45:49PM +0200, Lionel Elie Mamane wrote: > * Package name: polyml > Version : 5.2 > Upstream Author : David Matthews <[EMAIL PROTECTED]> > * URL : http://www.polyml.org/index.html > * License : GPLv2 Sorry, that's LGPLv2.1 or later, n

Bug#494488: ITP: polyml -- Standard ML implementation

2008-08-09 Thread Lionel Elie Mamane
Package: wnpp Severity: wishlist Owner: [EMAIL PROTECTED] * Package name: polyml Version : 5.2 Upstream Author : David Matthews <[EMAIL PROTECTED]> * URL : http://www.polyml.org/index.html * License : GPLv2 Programming Lang: Standard ML Description : Sta