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

Size & integrity

Byte sizes and integrity verification

Installed size
14.7 kB
Size expected
1.6 MB
Size actual
1.6 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
MD59b767285…6af7bd20
SHA-19f3ca3cd…94a73256
SHA-25612d2f9c2…62ab08c2
SHA-5122d29079c…94da90a3

Contents

Files and directories included

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