-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: polyml
Binary: polyml, polyml-modules, libpolyml-dev, libpolyml9
Architecture: any
Version: 5.7.1-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:  James Clarke <jrtc27@debian.org>,
Homepage: http://www.polyml.org
Standards-Version: 4.1.2
Vcs-Browser: https://anonscm.debian.org/git/debian-science/packages/polyml.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/polyml.git
Testsuite: autopkgtest
Build-Depends: debhelper (>= 10), libffi-dev, libltdl-dev
Package-List:
 libpolyml-dev deb libdevel optional arch=any
 libpolyml9 deb libs optional arch=any
 polyml deb interpreters optional arch=any
 polyml-modules deb libs optional arch=any
Checksums-Sha1:
 b25a9fa7bf3335c340585f96860f8b2258e12725 7278435 polyml_5.7.1.orig.tar.gz
 5ae02c5f564802fe0ea6d9b02a4c641aecdd4e55 14028 polyml_5.7.1-1.debian.tar.xz
Checksums-Sha256:
 bca707f0643e2c8d5d3a62e6f473990ecc7d36c2f5377cbe237d0a2fe49785e8 7278435 polyml_5.7.1.orig.tar.gz
 c6187bfa6637355a3a3022587e179d3bfe76cc0e01a768018b225091564237c4 14028 polyml_5.7.1-1.debian.tar.xz
Files:
 b65bfc025078a7dd8afe70e39778620c 7278435 polyml_5.7.1.orig.tar.gz
 f70ebf5d3cde4a9ce835155ef5cdf93d 14028 polyml_5.7.1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAloqwj0ACgkQsZN3DBhq
HH3IXA//YnZqR55HUHz2wjpO+7wiLc5L546fMG+Zhggu8eJ8EPOh02WrDMkWoMfZ
azYNxNqHcbbPQA6kyFa8A/lVdozS0Ulic5GVaBkyY5f8qDHOSCbBpuawAwHrEjV1
LUrI4Kkd+UZfxU/eTx+2Qr/4KLodnr+VAbpOIz05XWOPbS5OHkd8ImDdnWx2eBpN
q+t+Xn40OItVscSExiLRi1oTDOAtTCfsakwMhUAM/oA4hTrVN3r1fQ1SvV3FPh+n
v1ZZsSPspyKG+W1E0LDk9lLQUSB5zOzyE8kOQz3Np2t7QiYRH66Jz167Vkcueeat
aeA6mtPIovmHcZZCaMrWlB1EGs8psaZC/FEPHL7x42ZDKu/v3Q1jim6pebVjSWbo
p1w9E5U0Gp9PjJqjkoUrYcqxTmzHbAmUryniVubkxUIQuXiP3q+xSuUBbo3FMGgA
dksH2fBESBftFJP279S61LGGRIGkIZNE/rXyofMxN61mQemJceQL59E75RW4/a3l
q0d0QpS9Oj2//CBFmROIUi13XpiFA4CnDwAN40bgPm3Q+K6KtSPCXnAsljSVQG7+
Ic07A7Y+5DPQg+ezWudMSIMmvGWnV9Xd8DZ5DKjx06MjQW1KG/b0R3CozSnF3W38
/Afy3N/b7Aq8ZoAKKeJj/RnwCcc1/pQ7/fakXQb3HgtdNQPcz6E=
=SQS+
-----END PGP SIGNATURE-----