Ubuntu
polyml package

polyml 5.6-2 source package in Ubuntu

Changelog

polyml (5.6-2) unstable; urgency=low

  * Replaced soft-float-rounding.diff with upstream's
    rounding-mode-test-allow-exceptions.diff,
    rounding-mode-test-only-allow-exceptions-for-set-mode.diff, soft-fpu.diff
    and disable-compile-time-real-eval.diff. Avoids modifying the test driver,
    instead skipping the test if unsupported directly inside the test itself.
  * New patches (excluding soft-float-rounding.diff replacements):
    - fix-heap-ratio-assert.diff: Backport upstream's fix to let the
      calculated minimum heap size be the same as the desired value.
      Previously it failed an assertion.
    - fix-script-args.diff: Backport upstream's fix so --script can be used
      with additional command-line arguments.
    - mips-abi.diff: Mark polyexport.o as CPIC on MIPS when code is
      position-independent. Fixes ld warning about linking abicalls files with
      non-abicalls files.
    - unix-const-vec-unsigned.diff: Define unixConstVec as unsigned. Fixes
      narrowing conversion inside braces on PowerPC with GCC 6.
    - use-polyunsigned-consistently-for-stream-ids.diff: Backport upstream's
      fix so POLYUNSIGNED is used everywhere to refer to stream IDs, avoiding
      implicit narrowing conversions. Includes fixed realloc failure handling.

 -- James Clarke <email address hidden>  Mon, 01 Feb 2016 00:08:29 +0000

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.6-2.dsc 2.0 KiB 4044f9ec2e58ff1bdb26d37f9318312e3290a69bcdb74e7feee151734e420cf6
polyml_5.6.orig.tar.gz 5.7 MiB 38aaea8a170296666c8063e72fc7ab4f8268db471f57d7a99d8959d0fc9325de
polyml_5.6-2.debian.tar.xz 17.4 KiB 788e235818c8e4b4b0c5d981b5860bb9fcade5dddab585102f63e95575e7520d

Available diffs

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.

libpolyml7: 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.

libpolyml7-dbgsym: debug symbols for package libpolyml7

 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.

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.