libpolyml9_5.7.1-2_i386.deb


Advertisement

Description

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

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename libpolyml9_5.7.1-2_i386.deb
Package name libpolyml9
Package version 5.7.1
Package release 2
Package architecture i386
Package type deb
Category libs role::shared-lib
Homepage http://www.polyml.org
License -
Maintainer Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Download size 195.88 KB
Installed size 546.00 KB
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.

Alternatives

Package Version Architecture Repository
libpolyml9_5.7.1-2_amd64.deb 5.7.1 amd64 Debian Main
libpolyml9 - - -

Requires

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

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libpolyml9_5.7.1-2_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

Files

Path
/usr/lib/i386-linux-gnu/libpolyml.so.9
/usr/lib/i386-linux-gnu/libpolyml.so.9.0.0
/usr/share/doc/libpolyml9/changelog.Debian.gz
/usr/share/doc/libpolyml9/copyright

Changelog

2018-06-30 - James Clarke <jrtc27@debian.org>
polyml (5.7.1-2) unstable; urgency=medium
* Bump standards version to 4.1.4, no changes needed
* Use https for copyright format URI
* d/control:
- Change Vcs-* to point to salsa
- Add `Rules-Requires-Root: no`
* Add RISC-V support
2017-12-08 - James Clarke <jrtc27@debian.org>
polyml (5.7.1-1) unstable; urgency=medium
* New upstream version 5.7.1
* Bump standards version to 4.1.2, no changes needed
* Delete unused Test166-deadlock.patch from packaging
2017-11-20 - James Clarke <jrtc27@debian.org>
polyml (5.7.1~20171120.git44b7b88-1) experimental; urgency=medium
* New upstream version 5.7.1~20171120.git44b7b88
- Closes: #880023
* Rename libpolyml8 to libpolyml9 to reflect upstream soname bump
* Split modules out of libpolyml9 into new polyml-modules
* Drop all patches; fixed upstream
* Add new modules-non-executable.patch to make module files non-executable
2017-10-05 - James Clarke <jrtc27@debian.org>
polyml (5.7-2) unstable; urgency=medium
* Bump standards version to 4.1.1, no changes needed
* d/control:
- Add Breaks/Replaces on libpolyml7
- Remove Testsuite field; now automatically added by dpkg
- Drop dh-autoreconf dependency; redundant since dehelper 10
* d/rules:
- Drop explicit --with autoreconf; redundant since compat 10
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

See Also

Package Description
libpomegranate-clojure_1.1.0+really-2_all.deb dependency resolution and repository handling library for Clojure
libpomp-dev_1.1+dfsg-7_i386.deb OpenMP Pragma And Region Instrumentor - development files
libpomp0_1.1+dfsg-7_i386.deb OpenMP Pragma And Region Instrumentor - shared library
libpomp2-dev_2.0.4-1_i386.deb OpenMP Pragma And Region Instrumentor - development files
libpomp2-doc_2.0.4-1_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-cpp-dev_0.71.0-5_i386.deb PDF rendering library -- development files (CPP interface)
libpoppler-cpp0v5_0.71.0-5_i386.deb PDF rendering library (CPP shared library)
libpoppler-dev_0.71.0-5_i386.deb PDF rendering library -- development files
libpoppler-glib-dev_0.71.0-5_i386.deb PDF rendering library -- development files (GLib interface)
libpoppler-glib-doc_0.71.0-5_all.deb PDF rendering library -- documentation for the GLib interface
libpoppler-glib8_0.71.0-5_i386.deb PDF rendering library (GLib-based shared library)
libpoppler-private-dev_0.71.0-5_i386.deb PDF rendering library -- private development files
libpoppler-qt5-1_0.71.0-5_i386.deb PDF rendering library (Qt 5 based shared library)
Advertisement
Advertisement