smlnj_110.78-2_i386.deb


Advertisement

Description

smlnj - Standard ML of New Jersey interactive compiler

Property Value
Distribution Ubuntu 16.04 LTS (Xenial Xerus)
Repository Ubuntu Universe i386
Package name smlnj
Package version 110.78
Package release 2
Package architecture i386
Package type deb
Installed size 23.88 KB
Download size 5.76 MB
Official Mirror archive.ubuntu.com
SML/NJ is an implementation of the Standard ML programming language.
Standard ML has many features, including type safety, polymorphism,
algebraic data types with pattern matching, higher-order functions,
and a sophisticated module system. It is especially well-suited for
writing compilers and other language processors.
This package includes the interactive compiler (sml), the compilation
manager (CM), and some essential libraries.  It is a "working"
version, but believed to be stable.
Install this package if you want to program in SML.

Alternatives

Package Version Architecture Repository
smlnj_110.78-2_amd64.deb 110.78 amd64 Ubuntu Universe
smlnj - - -

Requires

Name Value
smlnj-runtime = 110.78-2

Replaces

Name Value
sml-nj -

Download

Type URL
Binary Package smlnj_110.78-2_i386.deb
Source Package smlnj

Install Howto

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

Files

Path
/usr/bin/ml-build
/usr/bin/ml-makedepend
/usr/bin/sml
/usr/lib/smlnj/bin/ml-build
/usr/lib/smlnj/bin/ml-makedepend
/usr/lib/smlnj/bin/sml
/usr/lib/smlnj/bin/.heap/sml.x86-linux
/usr/lib/smlnj/lib/SMLNJ-BASIS/.cm/x86-unix/basis.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/ALPHA.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/AMD64-Peephole.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/AMD64.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/CCall-Vararg.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/CCall-sparc.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/CCall-x86-64.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/CCall-x86.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/CCall.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/Control.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/Graphs.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/HPPA.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/IA32-Peephole.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/IA32.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/Lib.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/MLRISC.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/MLTREE.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/PPC.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/Peephole.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/RA.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/SPARC.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/StagedAlloc.cm
/usr/lib/smlnj/lib/SMLNJ-MLRISC/.cm/x86-unix/Visual.cm
/usr/lib/smlnj/lib/burg-ext.cm/.cm/x86-unix/burg-ext.cm
/usr/lib/smlnj/lib/dir-tool.cm/.cm/x86-unix/dir-tool.cm
/usr/lib/smlnj/lib/grm-ext.cm/.cm/x86-unix/grm-ext.cm
/usr/lib/smlnj/lib/lex-ext.cm/.cm/x86-unix/lex-ext.cm
/usr/lib/smlnj/lib/make-tool.cm/.cm/x86-unix/make-tool.cm
/usr/lib/smlnj/lib/mlburg-tool.cm/.cm/x86-unix/mlburg-tool.cm
/usr/lib/smlnj/lib/mllex-tool.cm/.cm/x86-unix/mllex-tool.cm
/usr/lib/smlnj/lib/mlyacc-tool.cm/.cm/x86-unix/mlyacc-tool.cm
/usr/lib/smlnj/lib/noweb-tool.cm/.cm/x86-unix/noweb-tool.cm
/usr/lib/smlnj/lib/nw-ext.cm/.cm/x86-unix/nw-ext.cm
/usr/lib/smlnj/lib/pgraph.cm/.cm/x86-unix/pgraph.cm
/usr/lib/smlnj/lib/pickle-lib.cm/.cm/x86-unix/pickle-lib.cm
/usr/lib/smlnj/lib/shell-tool.cm/.cm/x86-unix/shell-tool.cm
/usr/lib/smlnj/lib/smlnj-tdp/.cm/x86-unix/back-trace.cm
/usr/lib/smlnj/lib/smlnj-tdp/.cm/x86-unix/coverage.cm
/usr/lib/smlnj/lib/smlnj-tdp/.cm/x86-unix/plugins.cm
/usr/lib/smlnj/lib/smlnj/.cm/x86-unix/cm.cm
/usr/lib/smlnj/lib/smlnj/.cm/x86-unix/cmb.cm
/usr/lib/smlnj/lib/smlnj/.cm/x86-unix/compiler.cm
/usr/lib/smlnj/lib/smlnj/.cm/x86-unix/installer.cm
/usr/lib/smlnj/lib/smlnj/.cm/x86-unix/library-install.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/ALPHA.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/AMD64.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/Control.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/Graphs.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/HPPA.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/IA32.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/Lib.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/MLRISC.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/MLTREE.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/PPC.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/SPARC.cm
/usr/lib/smlnj/lib/smlnj/MLRISC/.cm/x86-unix/Visual.cm
/usr/lib/smlnj/lib/smlnj/basis/.cm/x86-unix/basis.cm
/usr/lib/smlnj/lib/smlnj/cm/.cm/x86-unix/cm.cm
/usr/lib/smlnj/lib/smlnj/cm/.cm/x86-unix/tools.cm
/usr/lib/smlnj/lib/smlnj/cmb/.cm/x86-unix/alpha32-unix.cm
/usr/lib/smlnj/lib/smlnj/cmb/.cm/x86-unix/amd64-unix.cm
/usr/lib/smlnj/lib/smlnj/cmb/.cm/x86-unix/current.cm
/usr/lib/smlnj/lib/smlnj/cmb/.cm/x86-unix/hppa-unix.cm
/usr/lib/smlnj/lib/smlnj/cmb/.cm/x86-unix/ppc-macos.cm
/usr/lib/smlnj/lib/smlnj/cmb/.cm/x86-unix/ppc-unix.cm
/usr/lib/smlnj/lib/smlnj/cmb/.cm/x86-unix/sparc-unix.cm
/usr/lib/smlnj/lib/smlnj/cmb/.cm/x86-unix/x86-unix.cm
/usr/lib/smlnj/lib/smlnj/cmb/.cm/x86-unix/x86-win32.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/all.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/alpha32.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/amd64.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/compiler.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/current.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/hppa.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/minimal-only.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/minimal.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/ppc.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/sparc.cm
/usr/lib/smlnj/lib/smlnj/compiler/.cm/x86-unix/x86.cm
/usr/lib/smlnj/lib/smlnj/init/.cm/x86-unix/init.cmi
/usr/lib/smlnj/lib/smlnj/installer/.cm/x86-unix/util.cm
/usr/lib/smlnj/lib/smlnj/internal/.cm/x86-unix/cm-lib.cm
/usr/lib/smlnj/lib/smlnj/internal/.cm/x86-unix/cm-sig-lib.cm
/usr/lib/smlnj/lib/smlnj/internal/.cm/x86-unix/cm0.cm
/usr/lib/smlnj/lib/smlnj/internal/.cm/x86-unix/intsys.cm
/usr/lib/smlnj/lib/smlnj/internal/.cm/x86-unix/smlnj-version.cm
/usr/lib/smlnj/lib/smlnj/internal/.cm/x86-unix/srcpath-lib.cm
/usr/lib/smlnj/lib/smlnj/ml-yacc/.cm/x86-unix/ml-yacc-lib.cm
/usr/lib/smlnj/lib/smlnj/smlnj-lib/.cm/x86-unix/controls-lib.cm
/usr/lib/smlnj/lib/smlnj/smlnj-lib/.cm/x86-unix/html-lib.cm
/usr/lib/smlnj/lib/smlnj/smlnj-lib/.cm/x86-unix/pp-lib.cm
/usr/lib/smlnj/lib/smlnj/smlnj-lib/.cm/x86-unix/smlnj-lib.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/alpha32.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/amd64.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/basics.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/core.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/debugprof.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/elabdata.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/elaborate.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/execute.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/hppa.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/parser.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/ppc.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/sparc.cm
/usr/lib/smlnj/lib/smlnj/viscomp/.cm/x86-unix/x86.cm
/usr/share/doc/smlnj/Overview.gz
/usr/share/doc/smlnj/README.Debian
/usr/share/doc/smlnj/README.gz
/usr/share/doc/smlnj/changelog.Debian.gz
/usr/share/doc/smlnj/copyright
/usr/share/doc/smlnj/MLRISC-demo/README
/usr/share/doc/smlnj/MLRISC-demo/build-110.0.6.sml
/usr/share/doc/smlnj/MLRISC-demo/build-110.25.sml
/usr/share/doc/smlnj/MLRISC-demo/build-110.29.sml
/usr/share/doc/smlnj/MLRISC-demo/demo-alpha.sml.gz
/usr/share/doc/smlnj/MLRISC-demo/demo-amd64.sml.gz
/usr/share/doc/smlnj/MLRISC-demo/demo-backend.sml
/usr/share/doc/smlnj/MLRISC-demo/demo-sparc.sml.gz
/usr/share/doc/smlnj/MLRISC-demo/demo-types.sml
/usr/share/doc/smlnj/MLRISC-demo/eg-alpha.sml
/usr/share/doc/smlnj/MLRISC-demo/eg-amd64.sml.gz
/usr/share/doc/smlnj/MLRISC-demo/eg-sparc.sml
/usr/share/doc/smlnj/MLRISC-demo/group.cm
/usr/share/doc/smlnj/MLRISC-demo/sources-amd64.cm
/usr/share/doc/smlnj/MLRISC-demo/sources.cm
/usr/share/doc/smlnj/MLRISC-demo/spill-table.sml
/usr/share/doc/smlnj/MLRISC-demo/wrapper.cm
/usr/share/man/man1/ml-build.1.gz
/usr/share/man/man1/ml-makedepend.1.gz
/usr/share/man/man1/sml.1.gz
/usr/share/man/man7/smlnj.7.gz

Changelog

2015-07-22 - James McCoy <jamessan@debian.org>
smlnj (110.78-2) unstable; urgency=medium
* Ensure build-dir is created before build-indep tries to use it.
* Fix FTBFS on powerpc.
2015-07-22 - James McCoy <jamessan@debian.org>
smlnj (110.78-1) unstable; urgency=medium
* New upstream release
* debian/mkorig: Handle the new doc tarball.
* Switch to 3.0 (quilt) source format
* Fix i386 build on Linux 4.x kernels.  (Closes: #790283)
* Replace Debian man pages with new upstream man pages.
* Perform build in a build directory for easy cleanup.
2014-06-28 - James McCoy <jamessan@debian.org>
smlnj (110.76-2) unstable; urgency=medium
* debian/control: Add Vcs-* fields
* debian/rules: Actually build Arch: all packages when build/binary targets
are used.
* Include documentation for ml-burg, ml-lex, and ml-yacc
+ control: Add texlive-generic-recommended and transfig to
Build-Depends-Indep
+ rules: Convert tree.fig to tree.ps to build ml-burg documentation
+ smlnj-doc: Install ml-burg, ml-lex, and ml-yacc manuals
+ Add doc-base registration for ml-burg, ml-lex, and ml-yacc
* Update man pages to refer to installed documentation  (Closes: #752914)
* Bump Standards-Version to 3.9.5, no changes required
2013-09-16 - James McCoy <jamessan@debian.org>
smlnj (110.76-1) unstable; urgency=low
* New upstream version.
+ Fix comparisons of Int64 on amd64.  (Closes: #709459)
2013-05-08 - James McCoy <jamessan@debian.org>
smlnj (110.75-1) unstable; urgency=low
* New upstream version.
* Use interest-noawait for smlnj-runtime.
2012-10-05 - James McCoy <jamessan@debian.org>
smlnj (110.74-2) unstable; urgency=low
* Stop shipping /usr/lib/smlnj/bin/mkorig.  This is just used for packaging
purposes.
* Install config/extrapathconfig as seed for pathconfig trigger.  (Closes:
#689123)
* Add /usr/lib/smlnj trigger to smlnj-runtime to allow updating pathconfig
automatically.
* Remove {pkg-,}{de,}register scripts.  Updating pathconfig is now handled
by triggers.
* Remove no longer needed postinst/prerm maintainer scripts.
* Add Breaks for packages installing files under /usr/lib/smlnj
2012-02-18 - James McCoy <jamessan@debian.org>
smlnj (110.74-1) unstable; urgency=low
* New upstream release.
+ Fixes building on 3.x kernels.
* Remove sparc from Architecture list.
2012-01-20 - James McCoy <jamessan@debian.org>
smlnj (110.73-2) unstable; urgency=low
* Only set {build,binary}-arch as a prerequisite for the {build,binary}
targets.
2012-01-18 - James McCoy <jamessan@debian.org>
smlnj (110.73-1) unstable; urgency=low
* New upstream version.
* Use DEB_BUILD_OPTIONS=nodoc to disable building of documentation.
* Declare source format 1.0
* Lintian fixes:
+ Remove HISTORY from libckit-smlnj.docs, already installed as upstream
changelog.
+ Remove leading article from libckit-smlnj's short description.

See Also

Package Description
smlsharp_1.2.0-2_i386.deb Standard ML compiler with practical extensions
smoke-dev-tools_4.14.3-1_i386.deb SMOKE development tools
smokeping_2.6.11-2_all.deb latency logging and graphing system
smp-utils_0.98-1_i386.deb SAS Expander (SMP) utilities for SAS/SATA disk arrays
smpeg-gtv_0.4.5+cvs20030824-7.1_i386.deb SMPEG GTK+ MPEG audio/video player
smpeg-plaympeg_0.4.5+cvs20030824-7.1_i386.deb SMPEG command line MPEG audio/video player
smplayer-l10n_15.11.0~ds0-1_all.deb complete front-end for MPlayer and MPlayer2 - translation files
smplayer-themes_15.12.0-1_all.deb complete front-end for MPlayer - icon themes
smplayer_15.11.0~ds0-1_i386.deb complete front-end for MPlayer, MPlayer2 and MPV
smstools_3.1.15-1.2_i386.deb SMS server tools for GSM modems
smtm_1.6.11_all.deb Show Me The Money is a configurable Perl/Tk stock ticker program
smtpprox-loopprevent_0.1-1_all.deb Transparent SMTP proxy to prevent mail forwarding loops
smtpprox_1.2-1_all.deb simple efficient SMTP proxy in perl
smtube_15.5.10-1_i386.deb YouTube videos browser
smuxi-engine_1.0.3-1_all.deb Engine libraries for Smuxi (IRC, Twitter, XMPP, Campfire, JabbR)
Advertisement
Advertisement