Format: 1.8 Date: Tue, 26 Apr 2016 11:21:46 +0100 Source: polyml Binary: polyml libpolyml-dev libpolyml7 Architecture: armhf Version: 5.6-7 Distribution: yakkety Urgency: low Maintainer: Launchpad Build Daemon Changed-By: James Clarke Description: libpolyml-dev - development files for Poly/ML, a compiler for Standard ML libpolyml7 - runtime files for Poly/ML, a compiler for Standard ML polyml - interpreter and interactive compiler for Standard ML Changes: polyml (5.6-7) unstable; urgency=low . * Make poly depend on g++, not gcc, as CXX is used by polyc, not CC. Fixes the upstream-polyc autopkgtest failure. Checksums-Sha1: 2b6c652cbdd258995546ad592bd217529c3c5aa0 198164 libpolyml-dev_5.6-7_armhf.deb aa850bc2f4592977d1934ad560018de246849b52 156812 libpolyml7_5.6-7_armhf.deb dacc4762509b8e58002f459130b9a6f0c1ccb8a9 1032072 polyml_5.6-7_armhf.deb Checksums-Sha256: f01ca601f29b937bd9190c3681d433679b7fe73b447badfc5252ffde99c0c640 198164 libpolyml-dev_5.6-7_armhf.deb f0cc21e167efc0cfa86f4d1396c8c339ab8506843b2e314f17ccdbe0b20c090f 156812 libpolyml7_5.6-7_armhf.deb bc3aea37cdd114f475ed329d8884d23afa3d3b999cfe6cc30b06832492c949a0 1032072 polyml_5.6-7_armhf.deb Files: 34256383c36f248a36812f5955cea02e 198164 libdevel extra libpolyml-dev_5.6-7_armhf.deb aa90d1879fbbd8062a0304b57a56ade2 156812 libs extra libpolyml7_5.6-7_armhf.deb 4a992197d49e8158ee700f34251ee452 1032072 interpreters extra polyml_5.6-7_armhf.deb