-----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-2
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.4
Vcs-Browser: https://salsa.debian.org/science-team/polyml
Vcs-Git: https://salsa.debian.org/science-team/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
 629b80a5fa33f4d4fddac964b3008aa96a1ca627 21024 polyml_5.7.1-2.debian.tar.xz
Checksums-Sha256:
 bca707f0643e2c8d5d3a62e6f473990ecc7d36c2f5377cbe237d0a2fe49785e8 7278435 polyml_5.7.1.orig.tar.gz
 021c01e05ef0959209010ce712f4dd611426df263a6975bfdef4fb9384b49ce9 21024 polyml_5.7.1-2.debian.tar.xz
Files:
 b65bfc025078a7dd8afe70e39778620c 7278435 polyml_5.7.1.orig.tar.gz
 f707c0dfadf9660fa0f57b440b1cdb65 21024 polyml_5.7.1-2.debian.tar.xz

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

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAls3r2IACgkQsZN3DBhq
HH013RAAqiBSw23GcUJEp03NPW2QvN8wCHPwoypmb9VdyDCr/xbvN3x7v6/qYDRD
TTtbP/A8dcHItpnwyVYTpi4MwnbgrAelgKBCXMohTbSPJTSY2ON3rITrZzNOhmHw
eh6TLWX058/2CJPdmVbmHB2dirqXIRUMV+TWDgJANpft1cUgqmMkAY1gWAs1LA0B
m81/uIPotGvVfqxiI0sVWIJRuJv5/MM03B0erILw5tGiG/M348zBjVm3S7ueYe3Z
hl4xEsVb7qPLFdzbv+vbEOgIQHoccU8XpJD1ddE5B6evVVaMwUktnI4DoUiBQ5gT
Gc9vtmXq9FEqNoxv4NSbY83GEzJdGAHqQ2F6ZvhX+Cc6GhOPvEprzeiSzKNOOqhk
Jy2bMH5yVxtUC3QxIA4kme7iRqYYZybiXHD1kt3H7XXGVu+1wCCXGWajCpWRhAKF
NTPzQNTg23XsasGpJMn2Wb/weEwIq6+C2rJTWekR4X4a3doDhw2vA8xCL0M/vcWj
1cLVEPoFX+PDIX81aM3KSsoQ3a054ZbFNvqJAz0qF9BNswKCGPSAJFU+cGq4TYbW
d4y0fb3DJPoMFK7W5k5O5tPLUBpI2H+SGO4ykWdcEfPT3m1Tj+E1gQCmF13J7GxU
AulkJhVNa5F9KqOJJLd0kvPVvMpRGrmOONLDWCMR8dlcwP3H/Uk=
=jscK
-----END PGP SIGNATURE-----