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

Format: 3.0 (quilt)
Source: fplll
Binary: libfplll3, libfplll-dev, fplll-tools
Architecture: any
Version: 5.1.0-3
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.0.0
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
 libfplll3 deb libs optional arch=any
Checksums-Sha1:
 b37d50007b8ecb37a34e7ec5720b1153b0d226ab 925117 fplll_5.1.0.orig.tar.gz
 de2acee6e668d2657a52a9eab07fab2d825864ae 7364 fplll_5.1.0-3.debian.tar.xz
Checksums-Sha256:
 16afeb662363f85ab7746d96c604f5d8d2532c5c27c81f52d9b05273370ae1a6 925117 fplll_5.1.0.orig.tar.gz
 feb7dc1c2a4c9186ee6ed1cb8ddb8708c3e4710630e453bc9f4fff681c44516c 7364 fplll_5.1.0-3.debian.tar.xz
Files:
 087f57ba906dde00faf544c0a1437ee6 925117 fplll_5.1.0.orig.tar.gz
 f0d33834a3cde99e37f0ff5582395ebe 7364 fplll_5.1.0-3.debian.tar.xz

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

iQJJBAEBCgAzFiEENmdIajJtsnZtJVVGhg3vO49lC3kFAlmUmboVHGluZmluaXR5
MEBkZWJpYW4ub3JnAAoJEIYN7zuPZQt5MfAP/3Ew+ArG5gCMgJrzpG1CPAcmkv/T
dbJBe3NOF2qBkcBKDW87U6sRLxPuaI6/Kc0gLhvroFxOMSaYAuK2hZKysID28enr
5X6oZTyDsNkPejtPjg1171dmqOsyu/V+mj17Pt9ZdQ2TlwD6DuVJHUrNxXMG5+mK
yt9t8jp/WWJXAYiml8+KCoo9TZSZn/Y5Ig/DzIdvsOUPmgJVGPzS/qA9vxxqQhE+
SvW3fUuyRgZZg02hwMhWGZ7GdiagsiUscIptVPvcGYaJXgYHjjgSEzxlbo7nqn9X
47fuIMh1mcc8dJ/dgaZ0curPZBdoGHPqWcUfAaYhMvvZKfc30AEmIlW1gNEX8OFU
4AhXeI7Crj81x+kGF1HXsjH+tQ2uYkjFZn1MVILbadwNwI/GquREIYmFN3K8HyFr
fFzIDlXyAhp4MC1KzHl3tDXneqDCY7QIx1Qa/KrSenoEGSlOvTLkermBU0oqve4E
Ft9+LRHmaOrDYlzzSV+xhpOwzOcWuO5oRUtEP8RBi5DfDBIz0GQwEqZWAf/Z3igI
srS9qhurZ/PZOHG32iITNuSCT6h/P7u1/VkKX3EPjzFQVw1OALsFbXk9IMsBNDOr
llD7fLbTzi0J/KN5O4JfGXM9C6m5XaXsGgokbivnsSBtn6Y3Ep3lDZTInY9+pnB1
/nTho8vK9JyoekHE
=Eh77
-----END PGP SIGNATURE-----