-----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-17build1
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: 4.1.1
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
 f0268379fc4d61857c40e24c33d9a50f203b43bb 8076 flint_2.5.2-17build1.debian.tar.xz
Checksums-Sha256:
 1396c55dcec4d2a0bdfa7db340e0d4451a75422a7fec917612a1dca250ae6100 2158692 flint_2.5.2.orig.tar.gz
 70a381babaae95df1677c12fdaabd5a4201aed762e63d10369b743ad543410d3 8076 flint_2.5.2-17build1.debian.tar.xz
Files:
 ce4dbeac7d40a9457c664df688937ee0 2158692 flint_2.5.2.orig.tar.gz
 e20568cc3162a574a077d8da261669be 8076 flint_2.5.2-17build1.debian.tar.xz

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

iQItBAEBCAAXBQJaaP1lEBxkb2tvQHVidW50dS5jb20ACgkQvX6qYHePpvXVNhAA
jjBG19GWxQ0lHiPQ35kL25FbhFTeCd0RdgLvj5WzI3tlu9nqe1jbNV24iwnGPgGW
l5xSqqNpIIylH3QrRGV3iJAvKDr3DeP7Opg8vv4ngIqF4GkKniLSPrqZXaA1N3Tr
da48gkTYJMmes+u+zSort79CPXukHKU1PApcNcNArrCdPbOay3CoMgQzbK0k95Mg
wd45Ea+ygZh5hKpeULFlgijleskrXpISYXvjgoi2o6X6T1K2f2juLvwpkZiraxkf
QQsXWXKLNNfyF43boG9uIJhuUfQe5Ec8wWpsYdZN8Nsjf3sZo+KLjHEPDNsePzRs
kABTVqmSi5TYNz5nn0orsdIooKo8Bu+q8hdPBBjPEKa7mcHCGqrUvebKhIg68TfL
IQSoEaWVjSyq/ExNk/XMOgGwqklgecUMipx9rZa4ab3McKADumd6V/ZilZnS6QqM
GhlzZOKfhgHSuQ5feyxa9kH+03h3/xlJj+p2L/HazxmfgsXh4WyuvmbYJpyJbNMg
1Bvot6V5Kl+cQEPBKbwoo2hGjFzJv0Ukn13DoJi08ZltUn4qsJkAaIErGjeug4Qg
kZS4+2BQi1ZOQIoTSKpdjdUe/hJ5tYrKsrKb4+o2erCCJt6ACtfaYGB08m0harjj
moFyt6S6zKsVi/ndHHMMngyqwj6fI9p5R/qPfIXuEDU=
=9cdG
-----END PGP SIGNATURE-----