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
armhf
Section
universe/interpreters
Priority
extra
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
6.5 kB
Size expected
1.5 MB
Size actual
1.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
MD515095c97…590d96f0
SHA-1f96d0900…96573452
SHA-256dfb72bea…fa431dad
SHA-5126ed5d844…7ee682c6

Contents

Files and directories included

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