-----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-5build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 d086b7e0351a7cbb0d7fb42b2e346dd2cae1712b 22512 polyml_5.7.1-5build1.debian.tar.xz
Checksums-Sha256:
 bca707f0643e2c8d5d3a62e6f473990ecc7d36c2f5377cbe237d0a2fe49785e8 7278435 polyml_5.7.1.orig.tar.gz
 315e3eb86b9adc05199599a92c0c345d3053f12cb9861b083e969c3c9b0609f4 22512 polyml_5.7.1-5build1.debian.tar.xz
Files:
 b65bfc025078a7dd8afe70e39778620c 7278435 polyml_5.7.1.orig.tar.gz
 8a37aff335583d3d4675cc7117301f15 22512 polyml_5.7.1-5build1.debian.tar.xz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>

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

iQJHBAEBCgAxFiEET7WIqEwt3nmnTHeHb6RY3R2wP3EFAmYmMxUTHGp1bGlhbmtA
dWJ1bnR1LmNvbQAKCRBvpFjdHbA/cbrhD/9EnIv4TxosFCPtPFh+u9tw/YPTZV/f
y9c7PamcpsbKoPSigYxKLME4DaRt+kfFAR98SOqnFu+szMY560q1sEszodi0BzEx
dmvmoaiDLx7b25A1tJCWjM2J6lXSUfIDTJgDZFbZ8v8Rvnh05lSnjFA3tNV5PhuW
ZrieGTgWPjZvyZ/GhDwX2imP02O2xl0sZae7cWf5Iw4YhNIsABdo9Km37MhIb2kP
MFlW489Vy6a7dtnwwniZ8vpmyh19upGdkSvo6/XWGtH6xEEgFMH/rcDUxrwcBy+8
QPL6X0KhX+HguFFdxP5V51Dr8RlEVhwSdbDjVDtRWycKKXpnuJSXndzmQ3+CYqbG
mKKmK9OqvV/dFXJgVQdP8d9+PR49zCNgq3dOu2bKt8xfsHB+ynxXva9nznp2Hs5Z
RN3ykpq8kd2HugFYZbcLWodTFrEfR1ff9VOTbDOJjwPl4GWLkYTkVPJM3p8IZmJk
EWTTCXp5n6/Icm/nn0DvFUVaSusCvbmUMGFmy59F3ZnIMpWmXz6XLIwxmqwtqVcc
H+UmJkqMYHzZ/P7NAvBz1mjNgo1JqpFlShjRhiik9TQiunipZIdrcfrueDpcOcVq
sfw3slM5t4LOiCAzaiLAWV/xRrD6GGNzcCuO0KdMTl23DRTE926zq6Tzln7lFgmp
xuajdmEAgvB6rQ==
=SVOT
-----END PGP SIGNATURE-----