Package: libpolyml-dev
Priority: extra
Section: universe/libdevel
Installed-Size: 698
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.2.1-1.1
Depends: libpolyml1 (= 5.2.1-1.1)
Filename: pool/universe/p/polyml/libpolyml-dev_5.2.1-1.1_i386.deb
Size: 222134
MD5sum: 89a9b7e98c8e7c8e6f79fa60af551a12
SHA1: 31dc0e3a98ab5c71c67ea1c70b61d0f3b99499f5
SHA256: fa493f80f500e561ed29bbe299c59348b30eec497bffec0bad77bff63ebf00d2
Description: development files for Poly/ML, a compiler for the Standard ML
Homepage: http://www.polyml.org
Description-md5: b2698121640212575f4b5d9bb3d934a2
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu