Package: polyml
Architecture: amd64
Version: 5.7.1-5build1
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: 18001
Depends: file, g++, libffi-dev, polyml-modules (= 5.7.1-5build1), libc6 (>= 2.34), libpolyml9 (>= 5.7.1~20171120.git44b7b88)
Filename: pool/universe/p/polyml/polyml_5.7.1-5build1_amd64.deb
Size: 2464886
MD5sum: fe9673bc71e86b4f1c9d4aa71edf418e
SHA1: b1e501e422861832f62056687e63d5bba58ec5cf
SHA256: 5f45fa7afc15f83c18a1273f3fb3da5181d9a2d6bef8617b871121867c80b26d
SHA512: 0e929a3ba4181183ba1447911cc96ee567682f5ae637c794dd720a1833543ee432ac79ef8b870c29d0ab706c89d0362865e922a686be8820324d00e2adb86550
Homepage: http://www.polyml.org
Description: interpreter and interactive compiler for Standard ML
Description-md5: 07719a08cb059d017845466f51206251