-----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-4
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
 7a5451be9a48433a7768856759a38a739612c1ac 21596 polyml_5.7.1-4.debian.tar.xz
Checksums-Sha256:
 bca707f0643e2c8d5d3a62e6f473990ecc7d36c2f5377cbe237d0a2fe49785e8 7278435 polyml_5.7.1.orig.tar.gz
 4fb6059eb23137958594b31504e6625dcde150567fb8a68a539476083d386e64 21596 polyml_5.7.1-4.debian.tar.xz
Files:
 b65bfc025078a7dd8afe70e39778620c 7278435 polyml_5.7.1.orig.tar.gz
 c03e9ea31c2400bebf90dde441345bd8 21596 polyml_5.7.1-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAl4kcqwSHGpydGMyN0Bk
ZWJpYW4ub3JnAAoJELGTdwwYahx9wcIQAImYtBhnx2HaXERciQcCWILTLZWPiDfM
qKE46M6/NAS4XtY6bmce1B9CsK9axMQukqU30ZQV1XGwRTshmcI2jzRwGv8rRzKq
NSbmGMzjsN3ry3RBiozGwaHcAdkCqKCAgbtd19+9MApkoTCT58+ddpnh79K71nNz
LdbchBGOejDmIYLPU5e6GKI97z9SgKoSrtWMpC2EAPO6dbr3mkDlO+0EuLrdMPyQ
zx2MCtUE7cWFfobZ54gJhmc5ddrq8Eoh9kCn+YQAFBNdb3pbd1T7IUUeRXgCvfRV
ohpF1P/Ppchk65MXSkMWRtmihY0QEt17uYAEvLUauR48OFqUSrB6i1uUFolD3OzM
dChYivYGR4qVU1SEdh4K5sv1wRbWzyWdmv8TfLIIDSE15uJKcYJb0aOq/h/7k5I5
41QXGKKjmsJ9FotPyXXHbHX32zG0TzoUcuYB6AkWBXWqXtLQiv/h5PlWWnnIuHnG
LrgeoW1rpKolH6R8DJz3KNLBjwpN9rrREhh5vS/z+7sAt6T3VKJLYUHH/hbeikxL
MOp8OGE5yyBxPts8L4QD24Sk7bR6MuOGO9aMk9UFKH77+gvYMIvH5QDWe7U8rByg
c/qkIydlmy3Ju37k8pEtXxVmJMJmBL+C0u7YfAu8bt73NYE4U2WeLJWviiUWjilr
LpDSXqoRP4mG
=hXy3
-----END PGP SIGNATURE-----