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

Format: 3.0 (quilt)
Source: polyml
Binary: polyml, libpolyml-dev, libpolyml7
Architecture: any
Version: 5.6-8
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:  James Clarke <jrtc27@debian.org>,
Homepage: http://www.polyml.org
Standards-Version: 3.9.8
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), dh-autoreconf, libffi-dev, libltdl-dev
Package-List:
 libpolyml-dev deb libdevel extra arch=any
 libpolyml7 deb libs extra arch=any
 polyml deb interpreters extra arch=any
Checksums-Sha1:
 f5838bce0a285bec521832367f5cedc3918e71fa 5989514 polyml_5.6.orig.tar.gz
 d248ec69b2988f14d5f2352790c17481aa973102 33352 polyml_5.6-8.debian.tar.xz
Checksums-Sha256:
 38aaea8a170296666c8063e72fc7ab4f8268db471f57d7a99d8959d0fc9325de 5989514 polyml_5.6.orig.tar.gz
 74c7dff7175e69e2f144748445e0dce5aa9f196666852bfdbff12297eb6dcbe2 33352 polyml_5.6-8.debian.tar.xz
Files:
 ccc114d014ca2d0d7e4a4040e5a6308d 5989514 polyml_5.6.orig.tar.gz
 96a342edd395d78aec840d035e5e0d32 33352 polyml_5.6-8.debian.tar.xz

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

iQJGBAEBCgAwFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlhw7LcSHGpydGMyN0Bk
ZWJpYW4ub3JnAAoJELGTdwwYahx9jU4P/AmQzyj3Aaa26i2GjRQeDrKvBYf8Uvps
DyWF37ghpbEGHKGlozUbhhGRdFchOx0+7afNwUX2EqsH6ButL5KxJnBN0c3bA/12
EIdUHh5iFXwWxSlq9c8b7TfTzYTstfJa0824aJ7pSZNVtoYh+g0GggQaPTf/cpv8
aq6Lj9nQT0UzJjg3Y+OqzJWpNhZ+zlu+l8Z4KpA+FGvjNCRpEoFKjFWnmBkf9u1o
gt7cl1nojTNI/IA/eR9zO+W925jEZjlRDj3BcCpYNNjwcPTy/3wHpNSk48V4Kn3O
S1xKaGDPhVmILd2JFfTx9xMNuQ44GaSjaK3MNZdkDOelT1u6417kx1eXQahA+gYW
MCSXqD9Rqyg1tlOSd3tRL2YZdvutYhS5RXaA1uW+vSUWNjODmGLlDghYi6Pnkpv3
GOBUyVTQ8yyGgu8pbUSUrlXjYoSh6JJWA3Ccxmc9ewXHUkMwj4cw+fsnPnkUH9qE
+YSqDS53SWuskCAHdaXJfS6j2J4wy9Csh6YD8+xUpq+ZuquDghqrNr4Z/Db3cXWU
ZKc84kU2HsJ9Cv5TGKzEy0ut8jUPo+CkWo/siQPppMhQrPUc77tD5EdYasRZZIms
mOUQPYyp1UVKJwdgeg6kcBlgjabXAeh5FbGn+qQ1sdUd85xsHWwwkvHbEmlCf+Gc
B0StbgZimFHV
=VhGC
-----END PGP SIGNATURE-----