Package: libpolyml-dev
Architecture: amd64
Version: 5.7.1-5
Multi-Arch: same
Priority: extra
Section: universe/libdevel
Source: polyml
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: 1227
Depends: libpolyml9 (= 5.7.1-5)
Filename: pool/universe/p/polyml/libpolyml-dev_5.7.1-5_amd64.deb
Size: 250142
MD5sum: b69bc3c71f769bff73f07fbabe8ba58f
SHA1: 1898ab2ccb732ec1279b0a0ec5a8e98c4bbd98f3
SHA256: 1d1486f4be40c15e66e1ef6db329e74eb0d2451db262a29a8f181c7f882b7d5b
SHA512: d11850df15652c54a7a41230759b3e21cd6c9b9d5767bed91f9a362ebf1711a15866467a710bf3fd96fd1fafa43a56cfe471de886c3bb5feb9116c866671ab05
Homepage: http://www.polyml.org
Description: development files for Poly/ML, a compiler for Standard ML
Description-md5: db20fd643ea90de1e706c31ed98524f2