Package: libpolyml-dev Priority: extra Section: universe/libdevel Installed-Size: 989 Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Maintainers Architecture: i386 Source: polyml Version: 5.6-3 Depends: libpolyml7 (= 5.6-3) Filename: pool/universe/p/polyml/libpolyml-dev_5.6-3_i386.deb Size: 240152 MD5sum: 604ccdf2702e97d88cdf6aa5268feb04 SHA1: 5814becb8e27e08e06501b7b999082848620ffa4 SHA256: 9342da942ad87b347def74670bd3349cb674a5d3cbde17fff88155ac7e75838e 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