-----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-5
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders:  Jessica 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
 cbc4e97ab98a9f8a19dd285fe9e93d493c898b4d 22388 polyml_5.7.1-5.debian.tar.xz
Checksums-Sha256:
 bca707f0643e2c8d5d3a62e6f473990ecc7d36c2f5377cbe237d0a2fe49785e8 7278435 polyml_5.7.1.orig.tar.gz
 38a7a00ed9c849846576e399a6f11692af7c200b6d3d5d20958c385369453c48 22388 polyml_5.7.1-5.debian.tar.xz
Files:
 b65bfc025078a7dd8afe70e39778620c 7278435 polyml_5.7.1.orig.tar.gz
 9f8424c1b7649e09496c3d389c3ae4ae 22388 polyml_5.7.1-5.debian.tar.xz

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

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAmPcV6QACgkQsZN3DBhq
HH0dTg/+I++vUTU+ss9AIk61wHwPpLrCHr6UTrsbxVmB4DBIrpi7Q/Vea1NdCpeQ
mp8/jKa73ZrZF9pM60TBsC8a6ug/Ilk1xq2/IIw/l04G4nC6eNEIZJLXJ02Kfb0a
un2j1YO3OqKVLRm0hHP6j4N0HxlHdCYXzVi5nowYZ2YUwdR7+RPLCVWJ3PqyojVi
HPrjvXXtuZ1kk/XWPT3JSbiGhA1atJ7MDh6IHbHYQ3IM0ctHTOWngNTcXqOxYKyN
bCIawRyrBzplb3GXSJWwKkf0Bp9+yGxfs7YtxXo9lnzx00/ZSVEonGHEc/krlj1E
c8q9W7fx36vtbRX8IT5EKMaksnYHtsyO+T/u4McQjdFjIVr8epbXZ8nQ1cZFjgiR
FCu8xXgXBaZ+LgPEawgSJNg9vgSb7Rm+smwfNVnIZ/e84U3dlG/3i4nSzmjVnt5+
tHBP8xWM5McXRWJIIGuCgYbJtvicnN0UGiYFNoULpXvB9Uit52e5XW7t9qqKw6YT
oWCu260qEKrOEzoeXLySs7rVb6unZPTKkqcFJemcVUYkyY7KRKuBMNQmNI5knylo
XGemuert6uAWZJUpFELplYFTjs6u25BXV+D/H2TVO/gfObQ3ttwmxVQJDqgwkwUs
O2PQ2ijhz6U/bnWPz7UQ4Q4ODsy79c0G7B/U8shJ1x/VsW1kQo0=
=sWdu
-----END PGP SIGNATURE-----