polyml_5.7-1_i386.deb


Advertisement

Description

polyml - interpreter and interactive compiler for Standard ML

Property Value
Distribution Ubuntu 17.10 (Artful Aardvark)
Repository Ubuntu Universe i386
Package name polyml
Package version 5.7
Package release 1
Package architecture i386
Package type deb
Installed size 8.78 KB
Download size 1.19 MB
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 top-level interpreter and compiler.

Alternatives

Package Version Architecture Repository
polyml_5.7-1_amd64.deb 5.7 amd64 Ubuntu Universe
polyml - - -

Requires

Name Value
file -
g++ -
libc6 >= 2.1.3
libffi-dev -
libpolyml8 >= 5.7~20170322.git096d446

Download

Type URL
Binary Package polyml_5.7-1_i386.deb
Source Package polyml

Install Howto

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

Files

Path
/usr/bin/poly
/usr/bin/polyc
/usr/bin/polyimport
/usr/lib/i386-linux-gnu/libpolymain.a
/usr/share/doc/polyml/changelog.Debian.gz
/usr/share/doc/polyml/copyright
/usr/share/man/man1/poly.1.gz
/usr/share/man/man1/polyc.1.gz
/usr/share/man/man1/polyimport.1.gz

Changelog

2017-08-18 - James Clarke <jrtc27@debian.org>
polyml (5.7-1) unstable; urgency=medium
* Update uscan pattern to match 5.7 filename
* New upstream version 5.7
* Test166-deadlock.patch: Backport upstream fix for Test166 deadlocking
* Bumped standards version to 4.0.1
- Changed priority to optional
2017-03-23 - James Clarke <jrtc27@debian.org>
polyml (5.7~20170322.git096d446-1) experimental; urgency=medium
* New upstream version 5.7~20170322.git096d446
* debian/rules: Revert recompiling the compiler itself, since git snapshots
now have up-to-date pre-built import files.
* Rename libpolyml7 to libpolyml8 to reflect upstream soname bump
2017-03-20 - James Clarke <jrtc27@debian.org>
polyml (5.7~20170315.git1343f60-1) experimental; urgency=medium
* New upstream version 5.7~20170315.git1343f60
* Drop all patches; fixed upstream
* Include IntInfAsInt module in libpolyml7
2017-02-22 - James Clarke <jrtc27@debian.org>
polyml (5.7~20170222.git2737850-1) experimental; urgency=medium
* New upstream version 5.7~20170222.git2737850
- Fixes FTBFS when building the interpreted version.
* x32.diff: New patch to fix build on x32.
2017-02-21 - James Clarke <jrtc27@debian.org>
polyml (5.7~20170221.git4c3ba45-1) experimental; urgency=medium
* New upstream version 5.7~20170221.git4c3ba45
* Drop all patches; applied upstream
* debian/rules: Recompile the compiler itself, since git snapshots have
outdated pre-built import files.
2017-01-06 - James Clarke <jrtc27@debian.org>
polyml (5.6-8) unstable; urgency=low
* Bump debhelper/compat to 10
* Run wrap-and-sort -ast
* debian/control: Use my @debian.org email address
* debian/copyright:
- Use my @debian.org email address
- Update my copyright to include 2017
* polyc-dont-capture-build-path.diff: New patch to not capture
-fdebug-prefix-map
* spelling-errors.diff: New patch
2016-04-26 - James Clarke <jrtc27@jrtc27.com>
polyml (5.6-7) unstable; urgency=low
* Make poly depend on g++, not gcc, as CXX is used by polyc, not CC. Fixes
the upstream-polyc autopkgtest failure.
2016-04-25 - James Clarke <jrtc27@jrtc27.com>
polyml (5.6-6) unstable; urgency=medium
* Added autopkgtest support for upstream's test suite
* New patches:
- polyc-it.diff: Don't set "it" in polyc. This fixes the test suite when
compiled with polyc.
- reset-save-vector-sleep.diff: Ensure the save vector is reset when
sleeping in Posix.Process.sleep. This stops the save vector from
potentially overflowing and causing an assertion failure.
- wait-return-valid-status.diff: Only return the "status" value from
"wait" if the result is non-zero. This fixes a Fail "Unknown result
status" exception being raised occasionally.
2016-04-13 - James Clarke <jrtc27@jrtc27.com>
polyml (5.6-5) unstable; urgency=low
* Bump up Standards-Version to 3.9.8
* Removed patches:
- request-completed-volatile-barrier.diff: Not a correct fix, as discussed
with upstream in https://github.com/polyml/polyml/pull/49.
* New patches:
- thread-exited-interrupt-requested-overlap.diff: Fix threadExited and
interrupt_requested overlapping. This fixes an occasional assertion
failure on exit with the interpreted version, as well as the deadlock
sometimes experienced on hppa.
2016-04-06 - James Clarke <jrtc27@jrtc27.com>
polyml (5.6-4) unstable; urgency=low
* New patches:
- hppa.diff: Add support for hppa
- maxhostnamelen.diff: Remove all use of MAXHOSTNAMELEN
- request-completed-volatile-barrier.diff: Make MainThreadRequest
completed field volatile (fixes test suite deadlock on hppa)
- sh.diff: Add support for sh4
- sparc64.diff: Add support for sparc64

See Also

Package Description
polyorb-doc_2.11~20140418-4_all.deb Multiple-personality middleware for Ada (documentation)
polyorb-servers_2.11~20140418-4_i386.deb Multiple-personality middleware for Ada (servers)
pommed_1.39~dfsg-4build1_i386.deb Apple laptops hotkeys event handler
pompem_0.2.0-3_all.deb Exploit and Vulnerability Finder
pondus_0.8.0-2_all.deb personal weight manager for GTK+2
pong2_0.1.3-2_i386.deb Remake of old arcade classic in OpenGL
pop3browser_0.4.1-7_all.deb Allows one to check a pop3 mailbox before downloading any mail
popa3d_1.0.3-1_i386.deb Tiny POP3 daemon, designed with security as the primary goal
popfile_1.1.3+dfsg-0ubuntu2_all.deb email classification tool
poppass-cgi_3-6_all.deb CGI script to interact with a poppassd server
poppassd_1.8.5-4.1_i386.deb password change server for Eudora and NUPOP
populations_1.2.33+svn0120106-2.1_i386.deb population genetic software
poretools-data_0.6.0+dfsg-2_all.deb toolkit for nanopore nucleotide sequencing data -- sample datasets
poretools_0.6.0+dfsg-2_all.deb toolkit for nanopore nucleotide sequencing data
porg_0.10-1.1_i386.deb Package manager/organizer for software installed from source
Advertisement
Advertisement