polyml-modules (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
- polyml
- Architecture
- armhf
- Section
- universe/libs
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 2.9 kB
- Size expected
- 650.8 kB
- Size actual
- 650.8 kB
- Size match
Dependencies
Required package dependencies
- None
Suggested packages
Recommended additional packages
- None
Description
modules for Poly/ML, a compiler for Standard ML
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 8ff20e6f…d33e4e7a | |
| SHA-1 | d0ee87af…5c4405d3 | |
| SHA-256 | 776be396…f90b80b5 | |
| SHA-512 | d43359df…a62ce9d7 |
Contents
Files and directories included
. usr usr/lib usr/lib/arm-linux-gnueabihf usr/lib/arm-linux-gnueabihf/polyml usr/lib/arm-linux-gnueabihf/polyml/modules usr/lib/arm-linux-gnueabihf/polyml/modules/IntInfAsInt usr/share usr/share/doc usr/share/doc/polyml-modules usr/share/doc/polyml-modules/changelog.Debian.gz usr/share/doc/polyml-modules/copyright