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

[Lionel Elie Mamane <lionel@mamane.lu>]

Package: wnpp
Severity: wishlist
Owner: brucker@member.fsf.org

* Package name    : polyml
  Version         : 5.2
  Upstream Author : David Matthews <polyml@polyml.org>
* URL             : http://www.polyml.org/index.html
* License         : GPLv2
  Programming Lang: Standard ML
  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
 well as being extremely fast and efficient implementation of Standard
 ML Poly/ML provides several additional features.  There is a foreign
 language interface which allows dynamically linked libraries to be
 loaded and functions within them called from ML.  An X11
 interface using Motif is available.  There is also a symbolic debugger
 for Poly/ML.

Separation into packages:

polyml - toplevel interpreter
 This package provides the toplevel interpreter with integrated make
 system which is needed to build large ML programs.
libpolyml-dev - development file
 This package provides the files needed to compile stand-alone executables
 with Poly/ML.
libpolyml1 - runtime files
 This package provides the files needed to run stand-alone executables
 built with Poly/ML.

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.25-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_LU.UTF-8, LC_CTYPE=fr_LU.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash