-----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-4ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 af132832eee16ce2e45a11d5e9d01719f598e7ff 22156 polyml_5.7.1-4ubuntu1.debian.tar.xz
Checksums-Sha256:
 bca707f0643e2c8d5d3a62e6f473990ecc7d36c2f5377cbe237d0a2fe49785e8 7278435 polyml_5.7.1.orig.tar.gz
 fd06b87c61547a67eca38c031eada990c14736a2e80e5e33741ae32985140743 22156 polyml_5.7.1-4ubuntu1.debian.tar.xz
Files:
 b65bfc025078a7dd8afe70e39778620c 7278435 polyml_5.7.1.orig.tar.gz
 fb51012afbf65446f17a29aaea5da89e 22156 polyml_5.7.1-4ubuntu1.debian.tar.xz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>

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

iQJFBAEBCgAvFiEEDMvPrK69u5wsjzS2IqBL75FoutUFAmE98ugRHHJpa21pbGxz
QGtkZS5vcmcACgkQIqBL75FoutX6MA//SK9ehGbTUbuRbCF9lnuz8v1nt3R4yPd0
jcpIwIuqRq9S5Oa4LaqUCCbjRqM3woTQ8n2KStcm12MTDOFG/pKVujkx7O4pP5bE
tfsHWKhISOlE0q+YLf7W3kJpkyOsOsypMgLs4/gIz6bZp2RJ+/LWrEafYQbQTw+/
weQ7fv6esylHKim7ax7ujLf1pn+54AqCQP1qIrg81/8yjvbkn2qJfiYCFynGE4gy
DP4Zk64X3/2NvsGWPxvNtrIlCAEY32mhM47JPGNJNEhIASGCsNdBY5j54gj6utxd
7h34DJ2tSc9eFfydS4+mDsWJXa7Tc9AZTOJlZMdo0XTfY2bLx598X4D5y4vgO1PK
5+4T6lD7WxqDklPXawgnvc67odbDOy2CItcsJXp4sO30b4eVqjFrUx9OSHiliwzX
+JRXHl5Ib+r/aKSGJtV0rXXDsJkXVWGJd0HMjYSn/Gv/2ZpUiGkxPxR5CwEqE5lX
7T10FWVJxEph62fTeH33BF3+5hdm6pCpUssTroZneRkWrE50wG7wRmC0nw98ylOP
/1hTyibsyFrgvocGQOWbpI1fzV09wYy2XI8G743ILH/FfLGeMqvTpY96Na915K/m
8jl+pOl1xk3iZ9FNO2n/A+mMURLGBSFgDWgwlcC98b+7aJJFh0QyvVn3I0bYp1Zi
WHZ1kyf9G5U=
=eyik
-----END PGP SIGNATURE-----