polyml-modules_5.7.1-1_i386.deb


Advertisement

Description

polyml-modules - modules for Poly/ML, a compiler for Standard ML

Property Value
Distribution Ubuntu 18.04 LTS (Bionic Beaver)
Repository Ubuntu Universe i386
Package filename polyml-modules_5.7.1-1_i386.deb
Package name polyml-modules
Package version 5.7.1
Package release 1
Package architecture i386
Package type deb
Category universe/libs
Homepage http://www.polyml.org
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 461.82 KB
Installed size 2.84 MB
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 standard modules for Poly/ML.

Alternatives

Package Version Architecture Repository
polyml-modules_5.7.1-1_amd64.deb 5.7.1 amd64 Ubuntu Universe
polyml-modules - - -

Replaces

Name Value
libpolyml7 >= 5.7~20170315.git1343f60-1
libpolyml8 -

Download

Type URL
Mirror archive.ubuntu.com
Binary Package polyml-modules_5.7.1-1_i386.deb
Source Package polyml

Install Howto

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

Files

Path
/usr/lib/i386-linux-gnu/polyml/modules/IntInfAsInt
/usr/share/doc/polyml-modules/changelog.Debian.gz
/usr/share/doc/polyml-modules/copyright

Changelog

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

See Also

Package Description
polyml_5.7.1-1_i386.deb interpreter and interactive compiler for Standard ML
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-4build2_i386.deb Apple laptops hotkeys event handler
pompem_0.2.0-3_all.deb Exploit and Vulnerability Finder
pondus_0.8.0-3_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-1build1_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+dfsg-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
Advertisement
Advertisement