polyml (5.7.1-5build1)

Details

Core information at a glance

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

Size & integrity

Byte sizes and integrity verification

Installed size
18 kB
Size expected
2.5 MB
Size actual
2.5 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

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5fe9673bc…1edf418e
SHA-1b1e501e4…a58ec5cf
SHA-2565f45fa7a…7c80b26d
SHA-5120e929a3b…adb86550

Contents

Files and directories included

.
usr
usr/bin
usr/bin/poly
usr/bin/polyc
usr/bin/polyimport
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-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