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

Format: 3.0 (quilt)
Source: flint
Binary: libflint-2.5.2, libflint-dev, libflint-doc
Architecture: any all
Version: 2.5.2-23
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: http://www.flintlib.org/
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/science-team/flint
Vcs-Git: https://salsa.debian.org/science-team/flint.git
Build-Depends: debhelper-compat (= 12), 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
 2c71f45918568ed6f6c8d2926255b28d768b7b72 8972 flint_2.5.2-23.debian.tar.xz
Checksums-Sha256:
 1396c55dcec4d2a0bdfa7db340e0d4451a75422a7fec917612a1dca250ae6100 2158692 flint_2.5.2.orig.tar.gz
 606dfd8110d3e4f685b7eb73ae49e66a0e242a857ac4959773496f2c40ba5f46 8972 flint_2.5.2-23.debian.tar.xz
Files:
 ce4dbeac7d40a9457c664df688937ee0 2158692 flint_2.5.2.orig.tar.gz
 215efee5e66cf5023c263c307d8a0128 8972 flint_2.5.2-23.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAl7OWrMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReOkQAKU8HLFPbz6L57aaYCe0h2IDSc5sbbTx
UOc5A7CBcZiSQGUFUB1PoBg+vT+4ntz2pzIzfxPqeXQe3PbkDWDLvCDVac1spsK+
2TIG5QUejruNCMuQDfHiJe7JxKgQPuT3R+KWPJlRLmdbDVmQn0VtPD8qe7RLCeC2
0YOeukq6o3SwYHqkC23mxnO3t6R2G6mHMsPHcxD35716oIAmauQFuv06Q+z3vEwa
erRDER8xcC/LjYPKfyba+neOPtCiI9B3Q+u8zLqmoRw9831gbGfa/BefH8ubXCBZ
IbOKk6YNIe/uGv9fWO6bZ6F7zqn41UqJAFS3e16s+4+GOCcb3+p2V0ZXg9KMx7T8
O1NzTPueeFPZIBcqRVVHOffvjbEEqgbPhVxMn8l7cc2Nv7nK5O2JFoSvZHsOlQdH
kH2RvHHMb3HJj1R2SxKLymnYZTiomgFhJQZ9zJxMxdWnU0QV7BljaHWzLTkTYhFj
E0rV/xOw8s5OHim1lslpYa3Pd2gXMhPJmPnZJmRxRGa60UPvG+Uvlz54SG2luehO
eDiiaLRw8N50ZAEUy9/kR1bU6x9+5elXXIVZ1tniBjvfoE3QbLIfgveI3LcDapX9
kZL+BFuYAK1EK8ZIQ49tSzDIEUcP45tXYzRvLUKVKF1lKG7HezUfVKP7hwUBG9Dk
6XrwLbntlQGc
=kTnF
-----END PGP SIGNATURE-----