Package: polyml
Version: 5.2.1-1.1
Architecture: i386
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 3678
Depends: libc6 (>= 2.0), libpolyml1 (>= 5.2)
Section: interpreters
Priority: extra
Homepage: http://www.polyml.org
Description: interpreter and interactive compiler for the Standard ML programming language
 Poly/ML is an implementation of the Standard ML programming language
 Standard ML is a general-purpose, modular, type-safe, strict,
 functional programming language. Poly/ML is SML 97 compliant
 interpreter and compiler that supports the generation of stand-alone
 executables with an interactive toplevel (REPL).
 .
 This package provides the toplevel interpreter.
