-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: fplll
Binary: libfplll6, libfplll-dev, fplll-tools
Architecture: any
Version: 5.3.2-1build1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Tim Abbott <tabbott@mit.edu>, Julien Puydt <jpuydt@debian.org>, Ximin Luo <infinity0@debian.org>
Homepage: https://github.com/fplll/fplll/
Standards-Version: 4.4.1
Vcs-Browser: https://salsa.debian.org/cgit/science-team/fplll
Vcs-Git: https://salsa.debian.org/science-team/fplll.git
Build-Depends: debhelper-compat (= 12), libmpfr-dev
Package-List:
 fplll-tools deb math optional arch=any
 libfplll-dev deb libdevel optional arch=any
 libfplll6 deb libs optional arch=any
Checksums-Sha1:
 418c0153be2d63657a5c83b65d39552cea4f6b35 1025192 fplll_5.3.2.orig.tar.gz
 0dd763c79fde41736fa79af978746445fa342b3a 8132 fplll_5.3.2-1build1.debian.tar.xz
Checksums-Sha256:
 089df47113dec4741ea36bfa49592b4fc4a88379296554ad498baf6724a0c62d 1025192 fplll_5.3.2.orig.tar.gz
 e4280a3a4b871444dcfd4aab1929f4d9b6db9e8f0d47c5b5360969426edca53d 8132 fplll_5.3.2-1build1.debian.tar.xz
Files:
 195ec7da63e7440764b0ce7e5885dcbe 1025192 fplll_5.3.2.orig.tar.gz
 ff8a547fe194247d848b56c90ac47813 8132 fplll_5.3.2-1build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl53kWMQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9QpmEACPE19tfTQofjZeo1Cwc4DfjbmQ9FydeTcM
FvmhObVrUnp+7X7z+OjiRu3h2xQR8zogPcvNsNVsU/BiVwfqsMe/+Hcs6+uCLt/Y
2Nn1LbFgwoGj1Ya7irj8qs6WDrnbjD5kgtVhNLYIFi2+p32AUyEqNd50Kk/29dGr
biPsI9BFbgBZj5Xnj4UdpSpsdCKuz7UAJ0fVhekXwTfddNY/dRp5qdjGIjhTr552
1zfAqoMyGZSqsMjSi3E3kell0TAEybLbaWY+UomJlBwy2y0dNNtnIMQvwffU/ztl
WZe5GJ2SveKaiYH6CMRGjffFBYfeZFLRQqICeN858OWLzruAA3Oe0FtxPLrgkbEZ
0hi3FxpFYJBHNJOf1NGEeYfa4PH2SWZt+a4A87MYJyeBW09ZMEhucF2/EIXRJ2ih
XcBbIFK7IFSWkGfk5FHvGz1Lhw9xZ5R0oGb38tj0BENtlhjadfAO3o+n6nODc/Ic
L5HyX02EkxiiufvVVl3Fhn/ui8+RgKFs6Jcgvg/wJxaufkDZFwLKhaBHELZqbMO4
U86Gwq5b9UxYJ0fCKC3E9MjWyKTT/WKEoiiYa4lOb7UesjPrRVqQZ+VoJZuTApnj
CH/Yllow4c+I3NtPqWAJid78IcEsk7HNOgQw06zmcFSqLTUuE9bXTSwIG6wtFqmI
TmKMRsoN9Q==
=AcUi
-----END PGP SIGNATURE-----