smlnj_110.78-2_i386.deb


Advertisement

Description

smlnj - Standard ML of New Jersey interactive compiler

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

Replaces

  • sml-nj

    Download

    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

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

    Advertisement
    Advertisement