polyml (5.7.1-5build1)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: none
Architecture: arm64
Section: universe/interpreters
Priority: extra
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 14.8 kB
Size expected: 2.2 MB
Size actual: 2.2 MB
Size match

Dependencies

Required package dependencies

file
g++
libffi-dev
polyml-modules (= 5.7.1-5build1)
libc6 (>= 2.34)
libpolyml9 (>= 5.7.1~20171120.git44b7b88)

Suggested packages

Recommended additional packages

None

Description

interpreter and interactive compiler for Standard ML

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	f6e2163e…e585dcbc	f6e2163e…e585dcbc
SHA-1	a62cdd83…9313a85b	a62cdd83…9313a85b
SHA-256	46a8d3ba…a4b033b5	46a8d3ba…a4b033b5
SHA-512	7404a306…dad20432	7404a306…dad20432

Files and directories included

.
usr
usr/bin
usr/bin/poly
usr/bin/polyc
usr/bin/polyimport
usr/lib
usr/lib/aarch64-linux-gnu
usr/lib/aarch64-linux-gnu/libpolymain.a
usr/share
usr/share/doc
usr/share/doc/polyml
usr/share/doc/polyml/copyright
usr/share/man
usr/share/man/man1
usr/share/man/man1/poly.1.gz
usr/share/man/man1/polyc.1.gz
usr/share/man/man1/polyimport.1.gz
usr/share/doc/polyml/changelog.Debian.gz