Package: polyml Architecture: amd64 Version: 5.7.1-1 Multi-Arch: foreign Priority: extra Section: universe/interpreters 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: 17995 Depends: file, g++, libffi-dev, polyml-modules (= 5.7.1-1), libc6 (>= 2.2.5), libpolyml9 (>= 5.7.1~20171120.git44b7b88) Filename: pool/universe/p/polyml/polyml_5.7.1-1_amd64.deb Size: 1994536 MD5sum: 0df60c9ffc1ac70439a9e6dbbcfc7995 SHA1: d9916f6da7d4b39e13b88777d2b08acca2f6f558 SHA256: 7a727def5c3ccc8e1b3572271bdb330cc506896ce5c2b4a0d2bbf81d8d57f154 Homepage: http://www.polyml.org Description: interpreter and interactive compiler for Standard ML Description-md5: 07719a08cb059d017845466f51206251