Package: libpolyml-dev Priority: extra Section: universe/libdevel Installed-Size: 1220 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.6-3 Depends: libpolyml7 (= 5.6-3) Filename: pool/universe/p/polyml/libpolyml-dev_5.6-3_amd64.deb Size: 221984 MD5sum: 34fa4f9750b1d436b2859499211f29e9 SHA1: 8c078d495e44644afa87d6ea0cbd8e882f2dd172 SHA256: 993b0654544e7c965caea6be85f8c865c07089eabfe529fb11b72c6ec50fd6c9 Description: development files for Poly/ML, a compiler for Standard ML Multi-Arch: same Homepage: http://www.polyml.org Description-md5: db20fd643ea90de1e706c31ed98524f2 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu