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

Format: 3.0 (quilt)
Source: fplll
Binary: libfplll4, libfplll-dev, fplll-tools
Architecture: any
Version: 5.2.0-3build1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Tim Abbott <tabbott@mit.edu>, Julien Puydt <julien.puydt@laposte.net>, Ximin Luo <infinity0@debian.org>
Homepage: https://github.com/fplll/fplll/
Standards-Version: 4.1.1
Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/fplll.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/fplll.git
Build-Depends: debhelper (>= 10), libmpfr-dev
Package-List:
 fplll-tools deb math optional arch=any
 libfplll-dev deb libdevel optional arch=any
 libfplll4 deb libs optional arch=any
Checksums-Sha1:
 d3e5558dc8b7e7b978bff1428620186f33993152 969112 fplll_5.2.0.orig.tar.gz
 7c6ba82566f1a70df5e291bb789f90092724d145 7856 fplll_5.2.0-3build1.debian.tar.xz
Checksums-Sha256:
 064b0a93fcf23f872b9b3bc9deba013da5302f496167e681ead90e0cdbb94dd0 969112 fplll_5.2.0.orig.tar.gz
 4c8b7494171bef08de51b34c3a1eb71f228178f9ebab77e7f1262d12617955e7 7856 fplll_5.2.0-3build1.debian.tar.xz
Files:
 96706231e4b1fb2450d7b7b8765d07c6 969112 fplll_5.2.0.orig.tar.gz
 d72d591f291a51ca3a64accc7c167b5e 7856 fplll_5.2.0-3build1.debian.tar.xz

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

iQItBAEBCAAXBQJaaP1lEBxkb2tvQHVidW50dS5jb20ACgkQvX6qYHePpvUB0RAA
sDOvmMW/hVeWYtAvmPEbxYnilspWoTfwvpaaXJfgSo1khSmIPZbOvCePrOE7XQJ/
taEJULNDChzCXJqt9d5aFcfCW7ndLMPKgZf9SbSh/OWmLR3IMySk3p3ZMN/Dn/uS
a3dT2ByMus9DY3Rfo2PNKDalBl7r8KYoOrbuXGvfk4p2cdeJC67N8dG1JjcGCKE8
d9ZqSSRhaRREexZ6N1qu7Gd5zNRAuB+0IuK4BuamCABUsyh4hMJoXNbCf1muv0bs
Qlgtnh9mXn3mm1/RWPRayd0AALE4r6ozstpXrC87S07cp8WkBZGRzNiUVUBQaAf5
tJd24tbrbdASjFenifFyV5ZjvfCqRfkWeb9Gypip+Sr2wRUMMBQZAcGRK07yUtnS
fcY+Q3bmtSdK2pEx45c9O3YEUINntl6OKipH7PFSbiz2qPWTTpGqof79rzcAgE8x
C70VRJIvsDtiUv1I8gIxgxW80hiaV+ASH+iHWQyknnFTMlwbGsudMN7izIDTpjId
rQgb4akrstDceLuy1GrBrE5/SFt+GAK54SLWgbDHqiLg/LSIZqjYhfbFJf8W+WiS
uJmQObfRLhBKfl25P9JYi2GjD6pPi3heXsiyuCV0/GSANU8y865kNghnqTe1pg38
aqa7UWZIyAY0GiP4ASRbnJf31f2u51LuK3U/E2d2/kk=
=CvsJ
-----END PGP SIGNATURE-----