Package: polyml
Architecture: amd64
Version: 5.7.1-4build1
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: 18008
Depends: file, g++, libffi-dev, polyml-modules (= 5.7.1-4build1), libc6 (>= 2.2.5), libpolyml9 (>= 5.7.1~20171120.git44b7b88)
Filename: pool/universe/p/polyml/polyml_5.7.1-4build1_amd64.deb
Size: 1994456
MD5sum: 36059480c9497ca01383d7d0d3ccf4e0
SHA1: 7fdbcad6bf8f9113c3896807c5b5eabeb5efce0e
SHA256: 07f92ca52ad4a74941a82dfa6f11d6bdc489e8e451a8698cfe2650f2c8432c34
Homepage: http://www.polyml.org
Description: interpreter and interactive compiler for Standard ML
Description-md5: 07719a08cb059d017845466f51206251