-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: polyml
Binary: polyml, polyml-modules, libpolyml-dev, libpolyml9
Architecture: any
Version: 5.7.1-4build1
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
 da282e9971aed33a14375f6f015f86c31d5591dc 21672 polyml_5.7.1-4build1.debian.tar.xz
Checksums-Sha256:
 bca707f0643e2c8d5d3a62e6f473990ecc7d36c2f5377cbe237d0a2fe49785e8 7278435 polyml_5.7.1.orig.tar.gz
 d671793e97bd0b0e98254111b8202952bba5911f831f290ae3e27bfb82df3798 21672 polyml_5.7.1-4build1.debian.tar.xz
Files:
 b65bfc025078a7dd8afe70e39778620c 7278435 polyml_5.7.1.orig.tar.gz
 d8eff670b779a7ea8fc0d40d3f9815f2 21672 polyml_5.7.1-4build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl53kboQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9cGmEACoJJM9DMfMGmx1dE8WBm4NGG+w+dmYTKz4
Yv0cr9vGe/J54ce4Y0wMAKK/rvNIw2yG9YgI3AlcHZSyzJAFK7beU2Zm/di7uqXC
5cwWGguU9JjB9m2rIDfrEPf8i/Rl4hiEoR1kpODvfqYf/SFOEDk0BLJg/6yDM39l
LGaE3vIABJzG6iC4UTaBoLjHka2ulLbiz7dmxqXs8gZKv64QP7Rao/iDVolLI3q7
Y2uyg7xdRVj9paV7slh62PCYk8wD9PoDSSznhtKpp6zksa9oolJwuomfCaRnzqME
SK34U5xhrCQuyFNeruJMTiF/kxfV339WKOb4TgTiTlaw6Q/rA7Mfmgt82GWZ93/q
I4c9MmUZ9t9sd1h1oWDvx34xnHHKKwhf/8j0eATA80qor5nIdC4NFKdJbdUqNAZh
Ti1Jmm6ZpY6r3+sWqRvJrf/GC0htdiLyfkjaXHKU8DWhpZ1Noqz71/gv/4QZmjKs
agCDNxMXXHGTjVIPHQ1aTwORWxIq8zY3e/qsnbvXi1+gNvhViHl8TUC1LN+EWEmm
fixC2M4VdyQeUrWJRN9I9jsDDbRJgDTRxvM2H33Rb+fXRTFnnu5q5xK6UPStTsdX
WAfMSEqis3+tQMmStaAnO+jeLzVwZfUgQN2mSikH6ZPf1KMtT3uZutE5Xra9AOUG
VBaSx9QtrA==
=AoHB
-----END PGP SIGNATURE-----