libpolyml-dev_5.7.1-1_i386.deb


Advertisement

Description

libpolyml-dev - development files for Poly/ML, a compiler for Standard ML

Property Value
Distribution Ubuntu 18.04 (Bionic Beaver)
Repository Ubuntu Universe i386
Package name libpolyml-dev
Package version 5.7.1
Package release 1
Package architecture i386
Package type deb
Installed size 978 B
Download size 233.83 KB
Official Mirror archive.ubuntu.com
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 compile stand-alone executables
with Poly/ML.

Alternatives

Package Version Architecture Repository
libpolyml-dev_5.7.1-1_amd64.deb 5.7.1 amd64 Ubuntu Universe
libpolyml-dev - - -

Requires

Name Value
libpolyml9 = 5.7.1-1

Download

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

Install Howto

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

Files

Path
/usr/lib/i386-linux-gnu/libpolyml.a
/usr/lib/i386-linux-gnu/libpolyml.so
/usr/share/doc/libpolyml-dev/changelog.Debian.gz
/usr/share/doc/libpolyml-dev/copyright

Changelog

See polyml_5.7.1-1_i386.deb changelog.

See Also

Package Description
libpolyml9_5.7.1-1_i386.deb runtime files for Poly/ML, a compiler for Standard ML
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
Advertisement
Advertisement