Package: libpolyml1 Priority: extra Section: universe/libs Installed-Size: 416 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.2.1-1 Depends: libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1) Filename: pool/universe/p/polyml/libpolyml1_5.2.1-1_amd64.deb Size: 154114 MD5sum: c567f646ca8e7e233c6cb55221590c01 SHA1: 2de3b2f9fedca7b53b04bb6e8bb57d056945c19c SHA256: 3fb105f475b224735cac5f78fbd2cb243bcbe2060602c69b0bd10c9d93b432f7 Description: runtime files for Poly/ML, a compiler for the Standard ML Homepage: http://www.polyml.org Description-md5: 6139880e28fe2c5cc43d3a898e390d1d Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu