Package: libpolyml-dev Architecture: amd64 Version: 5.7.1-1 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: 1198 Depends: libpolyml9 (= 5.7.1-1) Filename: pool/universe/p/polyml/libpolyml-dev_5.7.1-1_amd64.deb Size: 217816 MD5sum: e6342bf133b3fd2404e3271be73825cf SHA1: e6a3a340fbe17c583258f621e2ea8ca023ab9361 SHA256: 4e15783ecfe490effec5e29cb1f35867f3b74373c9fcdbac09bf30a3fbfddbc0 Homepage: http://www.polyml.org Description: development files for Poly/ML, a compiler for Standard ML Description-md5: db20fd643ea90de1e706c31ed98524f2