Package: polyml
Architecture: i386
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: 8803
Depends: file, g++, libffi-dev, polyml-modules (= 5.7.1-1), libc6 (>= 2.1.3), libpolyml9 (>= 5.7.1~20171120.git44b7b88)
Filename: pool/universe/p/polyml/polyml_5.7.1-1_i386.deb
Size: 1226684
MD5sum: 87dca73f618043b00585bb3e0a499b53
SHA1: d7172c5d30f510b7519092f8d4ae0b380cfc3dd5
SHA256: 3f15b6708d096c32f585071ac8406d1e3b94273f4026e6cf89c74a20ff4a4474
Homepage: http://www.polyml.org
Description: interpreter and interactive compiler for Standard ML
Description-md5: 07719a08cb059d017845466f51206251