Ubuntu
polyml package

polyml 5.5.2-3 source package in Ubuntu

Changelog

polyml (5.5.2-3) unstable; urgency=low

  * Team upload.
  * Backport upstream's arm64 support (Closes: #802341)
  * Added file dependency (required by polyc)

 -- James Clarke <email address hidden>  Tue, 20 Oct 2015 22:37:47 +0100

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Sid
Original maintainer:
Debian Science Team
Architectures:
any
Section:
interpreters
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
polyml_5.5.2-3.dsc 2.1 KiB 68637c7e50678ce33fb839703140f60fb9a01c35b4a6adca52525df1125dffcb
polyml_5.5.2.orig.tar.gz 5.2 MiB 1a87e5b014f1568c624e1d414ddf928b2f30fb4b1c44e5816fc6fe16a3674a6b
polyml_5.5.2-3.debian.tar.xz 12.0 KiB 488a3fd89555926f7641c8d0bc11cd5a6bbe6873c0880b20da77530af44b0a6b

No changes file available.

Binary packages built by this source

libpolyml-dev: development 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 compile stand-alone executables
 with Poly/ML.

libpolyml6: No summary available for libpolyml6 in ubuntu xenial.

No description available for libpolyml6 in ubuntu xenial.

libpolyml6-dbgsym: No summary available for libpolyml6-dbgsym in ubuntu xenial.

No description available for libpolyml6-dbgsym in ubuntu xenial.

polyml: interpreter and interactive 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 top-level interpreter and compiler.

polyml-dbgsym: debug symbols for package polyml

 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 top-level interpreter and compiler.