Package: libpolyml-dev Priority: extra Section: universe/libdevel Installed-Size: 832 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 Depends: libpolyml1 (= 5.2.1-1) Filename: pool/universe/p/polyml/libpolyml-dev_5.2.1-1_amd64.deb Size: 208276 MD5sum: f3f1c5100e3e1b4cb748d58eeb0107fb SHA1: 491a9032c7dcc6bd3c1f3ed84e5a86fb077e5367 SHA256: 403ca6399b5c69ad6126e741826b99e9c536ff43d5d8a9acb109b7f27a5334d5 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