libpolyml9 - runtime files for Poly/ML, a compiler for Standard ML

Property Value
Distribution Ubuntu 18.04 LTS (Bionic Beaver)
Repository Ubuntu Universe i386
Package name libpolyml9
Package version 5.7.1
Package release 1
Package architecture i386
Package type deb
Installed size 534 B
Download size 191.63 KB
Official Mirror
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.


Package Version Architecture Repository
libpolyml9_5.7.1-1_amd64.deb 5.7.1 amd64 Ubuntu Universe
libpolyml9 - - -


Name Value
libc6 >= 2.15
libffi6 >= 3.0.4
libgcc1 >= 1:3.0
libstdc++6 >= 5


Type URL
Binary Package libpolyml9_5.7.1-1_i386.deb
Source Package polyml

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libpolyml9 deb package:
    # sudo apt-get install libpolyml9




See polyml_5.7.1-1_i386.deb changelog.

See Also

Package Description
libpolyorb4-dev_2.11~20140418-4_i386.deb Multiple-personality middleware for Ada (development)
libpolyorb5_2.11~20140418-4_i386.deb Multiple-personality middleware for Ada
libpomegranate-clojure_1.0.0-2_all.deb dependency resolution and repository handling library for Clojure
libpomp-dev_1.1+dfsg-5_i386.deb OpenMP Pragma And Region Instrumentor - development files
libpomp0_1.1+dfsg-5_i386.deb OpenMP Pragma And Region Instrumentor - shared library
libpomp2-dev_2.0.2-3_i386.deb OpenMP Pragma And Region Instrumentor - development files
libpomp2-doc_2.0.2-3_all.deb OpenMP Pragma And Region Instrumentor - documentation
libpoppler-cil-dev_0.0.3-4_all.deb PDF rendering library -- CLI development files
libpoppler-cil_0.0.3-4_all.deb PDF rendering library -- CLI bindings
libpoppler-qt5-1_0.62.0-2ubuntu2_i386.deb PDF rendering library (Qt 5 based shared library)
libpoppler-qt5-dev_0.62.0-2ubuntu2_i386.deb PDF rendering library -- development files (Qt 5 interface)
libpopplerkit-dev_0.0.20051227svn-7.1build17_i386.deb GNUstep framework for rendering PDF content (development files)
libpopplerkit0_0.0.20051227svn-7.1build17_i386.deb GNUstep framework for rendering PDF content (library files)
libportaudio-ocaml-dev_0.2.1-1build1_i386.deb OCaml bindings for the portaudio library
libportaudio-ocaml_0.2.1-1build1_i386.deb OCaml bindings for the portaudio library