mlton-runtime-x86-64-linux-gnu (20241230+git20251029+dfsg-5)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: universe
Source: mlton
Architecture: amd64v3
Section: universe/devel
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 2.5 kB
Size expected: 202.7 kB
Size actual: 202.7 kB
Size match

Dependencies

Required package dependencies

mlton-basis (= 20241230+git20251029+dfsg-5)

Suggested packages

Recommended additional packages

None

Description

Optimizing compiler for Standard ML - amd64 runtime libraries

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	78a17b4c…d3330c82	78a17b4c…d3330c82
SHA-1	46a77ee4…8ac436c2	46a77ee4…8ac436c2
SHA-256	1981f60e…28adc917	1981f60e…28adc917
SHA-512	7e119f80…5454db75	7e119f80…5454db75

Files and directories included

.
usr
usr/lib
usr/lib/mlton
usr/lib/mlton/targets
usr/lib/mlton/targets/x86_64-linux-gnu
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/include
usr/lib/mlton/targets/x86_64-linux-gnu/include/c-types.h
usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa-dbg-pie.a
usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa-dbg.a
usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa-pie.a
usr/lib/mlton/targets/x86_64-linux-gnu/libgdtoa.a
usr/lib/mlton/targets/x86_64-linux-gnu/libmlton-dbg-pie.a
usr/lib/mlton/targets/x86_64-linux-gnu/libmlton-dbg.a
usr/lib/mlton/targets/x86_64-linux-gnu/libmlton-pie.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/sml
usr/lib/mlton/targets/x86_64-linux-gnu/sml/c-types.sml
usr/lib/mlton/targets/x86_64-linux-gnu/vars
usr/share
usr/share/doc
usr/share/doc/mlton-runtime-x86-64-linux-gnu
usr/share/doc/mlton-runtime-x86-64-linux-gnu/copyright
usr/share/doc/mlton-runtime-x86-64-linux-gnu/changelog.Debian.gz