mlton-runtime-x86-64-linux-gnu_20130715-3_amd64.deb


Advertisement

Description

mlton-runtime-x86-64-linux-gnu - Optimizing compiler for Standard ML - amd64 runtime libraries

Property Value
Distribution Ubuntu 19.04 (Disco Dingo)
Repository Ubuntu Universe amd64
Package filename mlton-runtime-x86-64-linux-gnu_20130715-3_amd64.deb
Package name mlton-runtime-x86-64-linux-gnu
Package version 20130715
Package release 3
Package architecture amd64
Package type deb
Category universe/devel
Homepage http://mlton.org/
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 190.46 KB
Installed size 1.78 MB
MLton is a whole-program optimizing compiler
for Standard ML.  MLton generates standalone
executables with excellent runtime performance,
is SML 97 compliant, and has a complete basis
library.  MLton has source-level profiling,
a fast C FFI, an interface to the GNU
multiprecision library, and lots of useful
libraries.
This package provides x86-64 target libraries.

Alternatives

Package Version Architecture Repository
mlton-runtime-x86-64-linux-gnu - - -

Requires

Name Value
mlton-basis = 20130715-3

Provides

Name Value
mlton-runtime -

Download

Type URL
Mirror archive.ubuntu.com
Binary Package mlton-runtime-x86-64-linux-gnu_20130715-3_amd64.deb
Source Package mlton

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install mlton-runtime-x86-64-linux-gnu deb package:
    # sudo apt-get install mlton-runtime-x86-64-linux-gnu

Files

Path
/usr/lib/mlton/targets/x86_64-linux-gnu/arch
/usr/lib/mlton/targets/x86_64-linux-gnu/constants
/usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa-gdb.a
/usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa-pic.a
/usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa.a
/usr/lib/mlton/targets/x86_64-linux-gnu/libmlton-gdb.a
/usr/lib/mlton/targets/x86_64-linux-gnu/libmlton-pic.a
/usr/lib/mlton/targets/x86_64-linux-gnu/libmlton.a
/usr/lib/mlton/targets/x86_64-linux-gnu/os
/usr/lib/mlton/targets/x86_64-linux-gnu/sizes
/usr/lib/mlton/targets/x86_64-linux-gnu/include/c-types.h
/usr/lib/mlton/targets/x86_64-linux-gnu/sml/c-types.sml
/usr/share/doc/mlton-runtime-x86-64-linux-gnu/README
/usr/share/doc/mlton-runtime-x86-64-linux-gnu/changelog.Debian.gz
/usr/share/doc/mlton-runtime-x86-64-linux-gnu/copyright

Changelog

2016-12-18 - Wesley W. Terpstra <terpstra@debian.org>
mlton (20130715-3) unstable; urgency=low
* Build-depend only on mlton-compiler and mlton-tools
* Buildds got stuck by looking at the mlton all package
* Remove heap-size hacks; debian buildds have >2GB RAM now
* Source-only upload to ensure full rebuild
2016-12-17 - Wesley W. Terpstra <terpstra@debian.org>
mlton (20130715-2) unstable; urgency=low
* Remove policy-problematic smlnj HTML4 from the package
* Remove ports for hurd-i386 (unreliable) and ia64 (dead)
* Add arm64 port (use supplied patch; closes: #791936)
* Add mips64el port (needed a complete arch patch)
* Add ppc64el port (needs bin/platform patch)
* Track s390 port name change to s390x
* Fix kfreebsd ports (removed getpgrp work-around)
* Added build dependency on librsvg2-bin
2016-12-09 - Wesley W. Terpstra <terpstra@debian.org>
mlton (20130715-1) unstable; urgency=low
* New upstream release (closes: #762143)
* Always build PIC on Linux (closes: #837567)
* Bump debhelper compat to 9 (disable empty dbgsym packages)
* Bump standards version to 3.9.8 (use DEB_HOST_MULTIARCH)
* Replace README link with contents to help dh_installdocs
2013-10-19 - Florian Weimer <fw@deneb.enyo.de>
mlton (20100608-5.1) unstable; urgency=low
* Non-Maintainer Upload
* Apply upstream patch to avoid __gmp_const breakage
(Closes: 707410)
* Apply patch from Matthias Klose to allow building on more target
triplets on i386, not just i486-linux-gnu (Closes: 640137)
2011-07-19 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100608-5) unstable; urgency=low
* Newest gcc and binutils fix mips[el] jump problem
* Uploaded mips[el] bootstrap packages as 20100608-4
* Build-Depend on newest gcc and binutils
* Removed explicit-relocs patch
* Include a diffs to current release head
* Necessary for 8-bit aligned MIPS read/writes
* Increase heap-size for mips post-alignment
* Building armel on debian buildd instead of qemu
* Heap-size 1.2g on 1.5g machines
* Added armhf port
2011-04-01 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100608-4) unstable; urgency=low
* Add missing install file for sparc runtime
* Make the self target symlink relative
* Added Replaces and Breaks the old version for smooth upgrades
* Previous build needed manual uploads, so buildd rebuild needed
* Still needing bootstrap:
* mips(el) gcc bug still unresolved and no-explicit-relocs fails too
2011-03-20 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100608-3) unstable; urgency=low
* Include all bugfixes since 20100608 release
* Depend on libgmp-dev (closes: #618268)
* Split package into compiler, runtime, basis, tools, and doc
* Use multiarch to support cross-compiling
* Eliminates the need for a mlton-cross package
* Updated standards version (no changes needed)
2010-06-14 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100608-2) unstable; urgency=low
* Added a new '-mno-explicit-relocs' mips work-around.
* Bug filed with gcc upstream (#44537)
2010-06-11 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100608-1) unstable; urgency=low
* New upstream release
* Removed the mips -fPIC work-around
* Filing a new gcc bug report upstream
2010-05-04 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100504~svn-r7459) unstable; urgency=low
* New snapshot from svn/HEAD
* Includes fixes for PIC codegen on x86
* Better handling of memory exhaustion
* Fix aliasing problem with newest gcc
* Switch to using quilt source format

See Also

Package Description
mlton-tools_20130715-3_amd64.deb Optimizing compiler for Standard ML - tools
mlton_20130715-3_all.deb Optimizing compiler for Standard ML
mlucas_17.1-3_amd64.deb program to perform Lucas-Lehmer test on a Mersenne number
mlv-smile_1.47-6_amd64.deb Find statistically significant patterns in sequences
mm-common_0.9.12-1_all.deb Common build files of the GNOME C++ bindings
mm3d_1.3.11-1_amd64.deb OpenGL based 3D model editor
mma_16.06-2_all.deb Musical MIDI Accompaniment Generator
mmake_2.3-7_all.deb Makefile generator for Java programs
mmark_1.3.6+dfsg-1_amd64.deb Markdown processor in Go geared for the IETF (executable)
mmass-modules_5.5.0-5_amd64.deb Mass spectrometry tool for proteomics - extension modules
mmass_5.5.0-5_all.deb Mass spectrometry tool for proteomics
mmc-utils_0+git20180327.b4fe0c8c-1_amd64.deb Userspace tools for MMC/SD devices
mmdb-bin_1.3.2-1_amd64.deb IP geolocation lookup command-line tool
mmdebstrap_0.4.1-2_all.deb create a Debian chroot
mmh_0.4-2_amd64.deb set of electronic mail handling programs
Advertisement
Advertisement