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

Format: 3.0 (quilt)
Source: flint
Binary: libflint19, libflint-dev, libflint-doc
Architecture: any all
Version: 3.1.3-1
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: http://www.flintlib.org/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/math-team/flint
Vcs-Git: https://salsa.debian.org/math-team/flint.git
Testsuite: autopkgtest
Testsuite-Triggers: gcc, libc-dev
Build-Depends: dpkg-dev (>= 1.22.5), debhelper-compat (= 13), latexmk, libgmp-dev, libmpfr-dev, libntl-dev (>= 9.9.1), lmodern, tex-gyre, python3-sphinx, texlive-fonts-recommended, texlive-latex-extra
Package-List:
 libflint-dev deb libdevel optional arch=any
 libflint-doc deb doc optional arch=all
 libflint19 deb libs optional arch=any
Checksums-Sha1:
 a54e0c5e3ccf098dda604d1054e22fd0f52b3b46 7586382 flint_3.1.3.orig.tar.gz
 5d5771e0c9e3fa14c9e73690e67eb69ec21f6dd6 8704 flint_3.1.3-1.debian.tar.xz
Checksums-Sha256:
 4c3ca5a4c1763a4b3718403983937f432c31629b6f415b1df4f1074da429b613 7586382 flint_3.1.3.orig.tar.gz
 17a78901766f1cf5eaa837f304d22dd18a61bdd061a57cf6e9fd78904a6561bb 8704 flint_3.1.3-1.debian.tar.xz
Files:
 a7ad356f07dc385c3a601a1f89afb6b3 7586382 flint_3.1.3.orig.tar.gz
 af4dae35b9e3d75e3c065e81fc983a2c 8704 flint_3.1.3-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZmkaQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRn5QQAJcoEOJ14U+qrC5+jrcs/ctSeCRf3sIp
nYGLiUcFFhZ9vJk9qymDHh7mnEcDmadaKC1TULkPjzMczA8CSzIvdcO09d2yB2wC
F7UTTDmw8K8z5xbzXGqxqBL4VjeCR7q1nzOHHRrMW2xVKA5vF9StH4o/vgllC7zj
Ga4djEEWgGQBSnkJvYqbTRn2ZzI2Hp6EoC6EgyZ9ZWx/pv9dQQwo60SIg9qNcwW+
WI/Ddda75KjpOXlPUGn8V507ZC/iOVpqUkWri4WOyy1RrImGbBfsrvXuhd49JaAM
IkWbyebQ7cr6jqIgNEMH1QA0+xLMElCuNxN9+ZYIZ9/fQKhIiaiB+HwM3AWevpFO
C4sWGUM4ntHZeIjEamqVKQAIhCxvny/jWswgi/PiCIwma6pIGbH1JaG6ht5SAErZ
IhDdUyiFxSS+7/votd9iTrY0Tke90k6tVjeqFiFOVrbdN88yh/EGP+cip76lCirX
HHnmfj6mrkkSF8XhVZhEWtMQftHrRvT/YPxsSwxsw2I2K/jnZAbpwE2rihumMu0w
ylgOvikopHaZpJVrK4bq2fwGTDTwN6E0mFzaWRH0jTCpGs8kpQd5UU+XG4z46Vn3
4dO0HZxQIMwGEcPvUBZ3HFIuM09cbSVf780pcrBTTtYSfEfuR8D8GZ07sr1NfI1E
RKOsQccRJ77o
=rJ/1
-----END PGP SIGNATURE-----