Package: libpolyml-dev
Priority: extra
Section: universe/libdevel
Installed-Size: 989
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
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