Package: libpolyml7 Priority: extra Section: universe/libs Installed-Size: 537 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Architecture: amd64 Source: polyml Version: 5.6-3 Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 4.1.1) Filename: pool/universe/p/polyml/libpolyml7_5.6-3_amd64.deb Size: 184068 MD5sum: 6e802e62fd6c0501651931b838835d9f SHA1: f9fc4136c54164ab0fff40a472e109b419f0d51b SHA256: fc27a424df965b1400635aecda618c9687bbc9561198e8c8c10cf260e4e63a37 Description: runtime files for Poly/ML, a compiler for Standard ML Multi-Arch: same Homepage: http://www.polyml.org Description-md5: 6e1db82c6b32728b54ff598cdd28d4f4 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu