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

Format: 3.0 (quilt)
Source: flint
Binary: libflint-2.8.0, libflint-dev, libflint-doc
Architecture: any all
Version: 2.8.0-2
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: http://www.flintlib.org/
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/science-team/flint
Vcs-Git: https://salsa.debian.org/science-team/flint.git
Build-Depends: debhelper-compat (= 13), latexmk, libgmp-dev, libmpfr-dev, libntl-dev (>= 9.9.1), lmodern, python3-sphinx, texlive-fonts-recommended, texlive-latex-extra
Package-List:
 libflint-2.8.0 deb libs optional arch=any
 libflint-dev deb libdevel optional arch=any
 libflint-doc deb doc optional arch=all
Checksums-Sha1:
 c79f11033cec22c97ff689e472380b9615d5f934 5209922 flint_2.8.0.orig.tar.gz
 d5becb32cfde111e0c64dbc0fe19f1f064895127 7968 flint_2.8.0-2.debian.tar.xz
Checksums-Sha256:
 584235cdc39d779d9920eaef16fe084f3c26ffeeea003a3fff64a20a0f33449e 5209922 flint_2.8.0.orig.tar.gz
 fe23923b07d6a6a707033d53ab4c46880575eee1f4eed0b09cbfbb3ddbf65ed7 7968 flint_2.8.0-2.debian.tar.xz
Files:
 4a79118869e872480c301c79a9370dbb 5209922 flint_2.8.0.orig.tar.gz
 89040d013fdabc7230213b038f8ede0c 7968 flint_2.8.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmEuDLoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYCkQAIpIIi0lJU6AR2IpqfBtHwpFFDdvNK9i
mHM1IO5t1GmSIVyyLT1U7c99yFGXErbpcb3GdDHXP3yxgrLBJ2CvJ5+rEn2OnjB9
ljtR8tRp08fQq5jlWIqpdbBt4JAQVNjgTwGlEtD0iGlg5vLw1Th2NF61cyNchYzE
v74Pgfv0+tTIQoVy56IaYsI/isaxE3B8UGFmDWnz/HnOKNv7mJqiJlC7jmRhQrVS
cbaDPjdMZq5CqwXX5DnqmCmMmyayqRnsEQYiRmJIbwGmC6AZ19XCTTrkwT2f3VW5
airyHM6NDvA7SSwQng8YUdaEgzMENWcr9ctrzhfNDkq3b+eRgm125ZxOch2MQxk7
6Kl2rcw6AbLQWmGYRfQ22Vre+4/KyLgWqFvpTD1DaykKDJELFmuWfUZvFvhFXZVN
GhuGtA1KLhEM75IiZj9+bFd08T4j/iR2oUjWKuOwWnmkVupn9WmriDj9ePZur45K
bCFFmiPLknLulXV2A87m5Rt4pO2B/uzVP+hk+7Xbz97+LcAGczh3L32FbXmap4wb
zLuwjfBMDhazWcdDanHkPQ12eKHvYdwlPyhtijVEKV1K+XqE03wprZQdHJCwPYIH
IZj3mdVO4CCDQ2mazsukXxuTVwfhiGD9ysqeSSRQFGaR04RnKAwarIgFnK8/4O3E
VJ9hiBGpovVE
=gz8e
-----END PGP SIGNATURE-----