Package: libpolyml9 Architecture: amd64 Version: 5.7.1-1 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: 532 Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 5) Filename: pool/universe/p/polyml/libpolyml9_5.7.1-1_amd64.deb Size: 182808 MD5sum: 3322f2743cdb2e4cf1ba8029be574733 SHA1: 081fbaf432823bf9d54aaea4925f605263008e60 SHA256: 12943de9c2dd12bff137b6c2cb65847f644ea6b68b8442355792457e6eaa2785 Homepage: http://www.polyml.org Description: runtime files for Poly/ML, a compiler for Standard ML Description-md5: 6e1db82c6b32728b54ff598cdd28d4f4