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

Format: 3.0 (quilt)
Source: flint
Binary: libflint-2.5.2, libflint-dev, libflint-doc
Architecture: any all
Version: 2.5.2-3
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.6
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=debian-science/packages/flint.git
Vcs-Git: git://anonscm.debian.org/debian-science/packages/flint
Build-Depends: debhelper (>= 9), libgmp-dev, libmpfr-dev, libntl-dev, 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
 4cd681e12cba80c07748fe068906528141f397b8 4856 flint_2.5.2-3.debian.tar.xz
Checksums-Sha256:
 1396c55dcec4d2a0bdfa7db340e0d4451a75422a7fec917612a1dca250ae6100 2158692 flint_2.5.2.orig.tar.gz
 aa9f4ba789de132e2d374ca1f7bf20c7e0e37c4092b063ff42086b013b033901 4856 flint_2.5.2-3.debian.tar.xz
Files:
 ce4dbeac7d40a9457c664df688937ee0 2158692 flint_2.5.2.orig.tar.gz
 5cfff619666d2d8a507ade4d14c155b9 4856 flint_2.5.2-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJV/DmBAAoJEJWkL+g1NSX5Tg4P/iSWdLahT8RNiS04XH9fnOJv
fiwsWuyD7NhGFhNMWXSSmW2CKJx4qAhbTwYM/iI7mGFzf3WrP62XsFzdAGIsb5mC
MnXpAZrOdb38mgoTIasulgkw3la1L56JoX+145eFr1aP5xgb4U/Vt3Nm11Ywo7Wd
t5G+EH5QgL1KJtXAhsOvU+DK5hfEIUHQRU/FWiovmGZonXyyHJdSp/2wyrBg7OSR
sQHpZSA1yOzLz6x7tAVGz+0GF51i2SYWnbkVyQn2LmISwPipyV7g17puab22z9zZ
TGO4XFOC7Z51Ske1Q1ehfiv7WDYgQd41fTo+oWkCsJ38VqCRca944wtjss6b7ixJ
3csLb/KK2ENgV6w4Dnl62crsc8zioGs3y/DUjXlmkLl4InNcfSJgVz1MrmebhySS
gudjlgRDAkPvpdVfqclVP+sCR1ZxTGWS+UcxddJiOBLcfcoPA9pfVIs9x+ltBh73
SPleecGvlcMxxyZbJCIbntOznRFPWXRTMQDaC0r3oRtn57aLwZah9gUGGXHnkK23
n/bdf33wh3iehkziHagYpHwqR/dnXMPW0q308lsneiLST7IJ5wECpbfHI0I0RaHE
sdZTh8Smn1RPPlFi11i0RwfsKCvH/Fsx4yb0lC+JTxh7H0ViIZHQzEOy0AkIeHWi
EGRpb95a+fJeq79qjB4v
=ZgOl
-----END PGP SIGNATURE-----