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

Format: 3.0 (quilt)
Source: polyml
Binary: polyml, libpolyml-dev, libpolyml8
Architecture: any
Version: 5.7-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.0.1
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 optional arch=any
 libpolyml8 deb libs optional arch=any
 polyml deb interpreters optional arch=any
Checksums-Sha1:
 1de8f4f2a248b1e18cd4581960d3a73d98525ba6 7367924 polyml_5.7.orig.tar.gz
 6f8573f0afc796f1efa7c12df629faf14efa6492 14148 polyml_5.7-1.debian.tar.xz
Checksums-Sha256:
 19340d8e9cea15c3fd786dde27028cd2947608955a376d1317a20268c8a19279 7367924 polyml_5.7.orig.tar.gz
 c60f991ef4888e8b668ca491c9a62efee1ee1e40611179ea0eadbaeb79e14c6a 14148 polyml_5.7-1.debian.tar.xz
Files:
 56c3b06ce6cab785043812185e9b280b 7367924 polyml_5.7.orig.tar.gz
 f9bf7b8179e3f8c92bcdd6209aa152bd 14148 polyml_5.7-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlmXcZoACgkQsZN3DBhq
HH1gvA/+KWpyrdm80Z0ok+K6xgshAa7+jdV6t66YMxiql0UX54xMv6IJb7P9cJvs
L3lWTUxnNqeaMYnHI65h3O75MI4hQObQqag5NrsZtlzVozokGydVsPFpJk4nCx3U
QeicVladbupfegwzdPdH/2DELC/4ofPBhdxXNjQxthJkQFzYQZsUgxVbo9N2vjWP
RThjcdg2UwIGJKYoWXJgrWyL/Vsajbh10zH3ftOsF1eJD68LmciXTSIz0wcKKZia
MsN4Gr+z0r3mGaEcu7VUq7dC9UzROwlPRqvWEtq6yEgt2ztIMkBAvwdEDPRHtV52
18fregFicsYT+8fXOlneXTLc0WyQV2vVjXbrksLXKmZSPH9eTM/oawwRxvYXkVDn
H/A4ZK87T2RINJ+v1/J4kPPd7mwHJrks2fJZdYzoIFxuwn/fqFzM8gPT4d0KAGaG
iZQIhGykVr1IUWF7E4LL/cR/MxhN0wNXG0q2FO/pq9v4jJ0G4LOJvveFzZyiSAY8
I602wfeOLc2brchxAioZGsWLL1wOnBNjon3KnxqPhu6rSPYGD4N9kSMMDlUD5dk+
1fLquJ/2i7/baiLAAlLUG9u3+RynJXqosmO5vanxS+Yaj0z7ttyXxt2Cvbw93ywQ
ARgI6HiXOdaanqMXujcUUwMoTm/Ghd1B3WEkquW4nYShavmCMNE=
=H2Cd
-----END PGP SIGNATURE-----