-----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-9ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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 (>= 9), 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
 9919ddc71da052f518dd0b793dd328804c2dafdd 6972 flint_2.5.2-9ubuntu1.debian.tar.xz
Checksums-Sha256:
 1396c55dcec4d2a0bdfa7db340e0d4451a75422a7fec917612a1dca250ae6100 2158692 flint_2.5.2.orig.tar.gz
 66656a21460d2165963fa2164488faa0d1edbd6b43c59fd2759af974a74c51eb 6972 flint_2.5.2-9ubuntu1.debian.tar.xz
Files:
 ce4dbeac7d40a9457c664df688937ee0 2158692 flint_2.5.2.orig.tar.gz
 fb9b485c997ceb60c665fde19eb327a1 6972 flint_2.5.2-9ubuntu1.debian.tar.xz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXzky7AAoJEPNPCXROn13ZQokQAKulqG5nL9LIhoQT7TXsE90H
wXXnJucYsQeg6xMm83aDQC6TH3/cYNFd+oUn57gGlyWTDRVrQgVFF7+LEX9W4D5r
/E1cavu7bNNAXVebFVR7YI1ZNihQO8xhua3dYZGUOXBzF8Kp7lP3H8VuYp4u33yy
8qG0iVdAgiASqsR67bMwwy78VXLl4P+hhjVx0q/iWWL5IeFAs3hdyx1MTgpt7em8
Z5xNVKNzixMw+WSHbgH75aQ45EBml3CIOT5gZSrXBpjutTR/B8rTfmTF1yszJoDV
ZXmzDbrKehOMla8IWbgypeUKPD8vUlJQu7147iR7wM1Fjrbdc2PIyzDW853VbNuY
6CyvDyOj7bafk9FiqE+n4/VOScPD78wQNQDny8r2VwBMp4qOnQxwXfaI1K4b1if/
lVkd0ricr79s5MPtJpZV8xC1iHcj4q3iLRuuTPeFQN7Yf4PeR+23uQugIIHhgZHK
LFsA3647dfQ2N4o10ofkZFfELD8p1cdQlVcgLl4t0WQRT7cHEd0kmJN2lTe00vyn
cRH4HQnqrN0swduG/Ct7BbJVKWeLFN67J84ZRHMlsNSZK52r83qmS5nih+ncjpR+
y1T9yUjb0cTACi9azltbZZ/AuQeDRP2OzsKUfZD50gAYn7iGhQKVm4Me6Tk8TmFj
VxPPKsamAYUOSQWsEJRt
=rg7c
-----END PGP SIGNATURE-----