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

Format: 3.0 (quilt)
Source: gmp
Binary: libgmp10, libgmpxx4ldbl, libgmp-dev, libgmp10-doc, libgmp3-dev
Architecture: any all
Version: 2:6.1.2+dfsg-1
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Steve M. Robbins <smr@debian.org>
Homepage: http://gmplib.org/
Standards-Version: 3.9.6
Vcs-Browser: http://svn.debian.org/viewsvn/debian-science/packages/gmp/trunk/
Vcs-Svn: svn://svn.debian.org/svn/debian-science/packages/gmp/trunk/
Build-Depends: m4, debhelper (>= 9), dpkg-dev (>= 1.16.1~)
Package-List:
 libgmp-dev deb libdevel optional arch=any
 libgmp10 deb libs optional arch=any
 libgmp10-doc deb doc optional arch=all
 libgmp3-dev deb libdevel optional arch=any
 libgmpxx4ldbl deb libs optional arch=any
Checksums-Sha1:
 0c90aa18e0cdbef2b7606264332c23dc552a0f7c 1804424 gmp_6.1.2+dfsg.orig.tar.xz
 e7ebf5c9ee167abfedbd8b5a7c16fb7174ae7cf8 20652 gmp_6.1.2+dfsg-1.debian.tar.xz
Checksums-Sha256:
 18016f718f621e7641ddd4e57f8e140391c5183252e5998263ffff59198a65b7 1804424 gmp_6.1.2+dfsg.orig.tar.xz
 79e73f74197e7628b2f0c02edf01b6eea3716c13152044ed8e0e0ee4178394df 20652 gmp_6.1.2+dfsg-1.debian.tar.xz
Files:
 fcef1a8d9ab6e3b2dc17091bb8b7c854 1804424 gmp_6.1.2+dfsg.orig.tar.xz
 429d7a640563c8dd6a3c68a3401136c1 20652 gmp_6.1.2+dfsg-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEy89k8fa3rclNjyokyeVeL63I9LkFAlhaHmYACgkQyeVeL63I
9LkKyw//erlkNKh0GWiUvsI9s0rDHDhwtI9zhrPHzfBI2vd5pwdtPvFV7PpV82se
kgN68AlXsX89BK7jnm89/+pVuwJUw3PmJIc5hZDUaw1H0uhbGCylQ0zX0A/7B+e4
qE/ENPNYmwkPTpFJvtF8uIIoMYieGZdja1kaVP4VkaKrqbUuXsr6B2iu/pCKT68p
W+jHHZphw5ykNuAigdmgR7KoXf7TWN8E9ROwk07huTkjagEVcc/Nr4+d7tcCpOTF
g2Jhvo7O8eSMQVZZOzupocD8BV5BHFh4982vcXHYg5iWcP07gpyZrgbxRBJ7P+YA
QWsnrii6R6VdBpBS/gSumiCeDoZF6cXf30KuOxNW+DDufbHH1WuFcBoTi7ALAVya
I/cI6bp2rixLbcrlR8dw9jGByoMHG4HnPkH6x/eEq20m6JjLEXysLEdjMU4uUevP
7o9v8sbHuxfUR+TOsBnTynmsM9mT99wfZULKLKIKTBHZQwESC+Gaf0IMCxOyEdS6
jBnG4+bxN48mKRUxllKm1Hj+QQXPmi3ASxaUlOd6ipVODU36fYD+jfI1CqfJNeKG
zrPR92+SORARZQOMMwgpEfdxDG/llPdRzQLhZb7HA9ieueWjq4Wxdg57mOq9Fqj8
uKhLRoOWCXgAzhVdOXEaB+S1aSmFGBbPL5Fbw+dlsmUNMeOusuM=
=uV22
-----END PGP SIGNATURE-----