Package: libpolyml9
Architecture: amd64
Version: 5.7.1-4build1
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: polyml
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 544
Depends: libc6 (>= 2.29), libffi7 (>= 3.3~20180313), libgcc-s1 (>= 3.0), libstdc++6 (>= 5)
Filename: pool/universe/p/polyml/libpolyml9_5.7.1-4build1_amd64.deb
Size: 185796
MD5sum: a12efb59c8f87c1e672b28579f1bc95d
SHA1: d2b93569e50fd637db0f71bcb81ea9cf06abea11
SHA256: 9a0dfa40c06b0fd5497ef4f73405e9a3592510dbe657f493261c6512c8716739
Homepage: http://www.polyml.org
Description: runtime files for Poly/ML, a compiler for Standard ML
Description-md5: 6e1db82c6b32728b54ff598cdd28d4f4