Package: libpolyml9
Source: polyml
Version: 5.7.1-4ubuntu1
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Installed-Size: 536
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5)
Section: libs
Priority: optional
Multi-Arch: same
Homepage: http://www.polyml.org
Description: runtime files for Poly/ML, a compiler for Standard ML
 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 files needed to run stand-alone executables
 built with Poly/ML.
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
