-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: flint
Binary: libflint-2.5.2, libflint-dev, libflint-doc
Architecture: any all
Version: 2.5.2-15
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Julien Puydt <julien.puydt@laposte.net>
Homepage: http://www.flintlib.org/
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/flint.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/flint.git
Build-Depends: debhelper (>= 10), libgmp-dev, libmpfr-dev, libntl-dev (>= 9.9.1), texlive-latex-extra, texlive-fonts-recommended
Package-List:
 libflint-2.5.2 deb libs optional arch=any
 libflint-dev deb libdevel optional arch=any
 libflint-doc deb doc optional arch=all
Checksums-Sha1:
 2da845ada7521bfdec245f58d2053ce4258e230d 2158692 flint_2.5.2.orig.tar.gz
 7ede4a4009ee59a0d16bf27d26ba6858f96de349 7300 flint_2.5.2-15.debian.tar.xz
Checksums-Sha256:
 1396c55dcec4d2a0bdfa7db340e0d4451a75422a7fec917612a1dca250ae6100 2158692 flint_2.5.2.orig.tar.gz
 8c97dd87a3ed66ddaeb0bd62c54e8c01409d85e4d8c244860cf538194e1eeae7 7300 flint_2.5.2-15.debian.tar.xz
Files:
 ce4dbeac7d40a9457c664df688937ee0 2158692 flint_2.5.2.orig.tar.gz
 66aa63d7517bb7fa0513810f43d0429d 7300 flint_2.5.2-15.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAliGlaYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQ54D/4ij+UKr6Wnarzz7zku8yX1
ALj3pSf1T0enFyun17It2wVNjHOvK5YUDS1S05KNnjV4+mBdqlEzBeJrhy5h9o75
mwUI4yLQzZGnndLNUB1w3T7Hkb8kPw+fTnKYe56TutdQ2JZ0B3rIznkDlDKYTnKh
4Vr/lQwPbwJtGle9pfcv5hD/ZwlF8U/K4GIOPKd1XVvZGPyRh7i5ah1nBxuM/kgc
fOQMwEJQ70YtvrnSqPHlu5AHidqgAZ9eGw1krsPLtkXtt8Cw8BYX1Vhl5M81yIad
7pAgHfUkrPkdNGhWbBKIpMPb65oov0Z9ESre8e92pbZPEbz1Ot4ZGnveEnaLsz/Y
M2PoRe8TqlL/QnVpVMTg2GsVZUeXvEPS6iuIWJ90e0L5e+WjDM+w+vPHu0keIIio
tfMen/duxn/5/qbDnuHzs3mNXwycMOW+ID298d2pRWfhpLO0Rzx+kmROGY7mddWs
awtKBBr2ISDIvGzkpOl8OvUclQuGixXQRdM5opVEIb+bVEW63DEIVyxOBO1WUjFb
Slmk2rXM9pnvJYeU+k5WFh4gBCsx4+aSoKJ+BynZ/GWAzGO7YZOZBoTdK+9mkRoU
GZK94UEdwBCfwLLMyfNZVHW7exGYpZjiUB4U1yKjRJQ9pBvgmdWPeZq+io6y3TQq
Qoyev7jz6KK7qlQ78DIf/A==
=DEZs
-----END PGP SIGNATURE-----