Package: libpolyml-dev Priority: extra Section: universe/libdevel Installed-Size: 972 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.2.1-1.1 Depends: libpolyml1 (= 5.2.1-1.1) Filename: pool/universe/p/polyml/libpolyml-dev_5.2.1-1.1_amd64.deb Size: 243528 MD5sum: 5abd993ace8a74d2bd862df3466e4d3a SHA1: 82ebd2bc63dc2708c33bb3baf6eec16fb7ce7427 SHA256: f05033680eb14ef464ba0e84956ba61538d0539701ccdffb9285a1664bf49c97 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