deb_control_files:
- control
- md5sums
- shlibs
- triggers
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.38), libffi8 (>= 3.4), libgcc-s1 (>= 3.0), libstdc++6 (>= 5)
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.
Homepage: http://www.polyml.org
Installed-Size: '626'
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Multi-Arch: same
Package: libpolyml9
Priority: optional
Section: libs
Source: polyml (5.7.1-5)
Version: 5.7.1-5+b2
srcpkg_name: polyml
srcpkg_version: 5.7.1-5