Accepted fplll 5.3.1-2 (source) into unstable

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

Format: 1.8
Date: Sat, 04 Jan 2020 23:10:06 +0100
Source: fplll
Architecture: source
Version: 5.3.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 947718
Changes:
 fplll (5.3.1-2) unstable; urgency=medium
 .
   * Add workaround for missing -latomic
     on some arches (Closes: #947718).
Checksums-Sha1:
 8de5be1474ff2977ab7b15028545ad9a559ab3e0 2117 fplll_5.3.1-2.dsc
 bedef1040b1219bbc82ca4e2f6c538a833a0154c 8028 fplll_5.3.1-2.debian.tar.xz
 22a71a69c84df42f76b6c0045ea619e35a924ec0 5241 fplll_5.3.1-2_source.buildinfo
Checksums-Sha256:
 a7b80cfa7e684f527acd6b93873b98ae5c5945ebbd262269af89b44135e764db 2117 fplll_5.3.1-2.dsc
 f8c610cfad57e3a2dfe4f99683f6b50ef7de93da797b8cfffe0994679342c40f 8028 fplll_5.3.1-2.debian.tar.xz
 6806de717aca514a6beae449220c24e49d8cfbbd1b65720eed4752a72fc3b160 5241 fplll_5.3.1-2_source.buildinfo
Files:
 8dd9331978c0f2897a3811e39786bc1c 2117 math optional fplll_5.3.1-2.dsc
 a6d53aa0b6e515cd9795e30907213275 8028 math optional fplll_5.3.1-2.debian.tar.xz
 b329f1968afa92bcdd013c652a9951a6 5241 math optional fplll_5.3.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAl4RDmkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4q8P/iq8DQdsqx/eX70cB7XlnSzEYZA5YFYB
rSmqCxCj28r07/z7bka8dSb4tVB8pbm5ydXQBjq7P4AHKdzuNhWuW2M8N7lRKMGC
T6Gut2ULhvDySwzL6kK1N5VYX0xFjW4fiAasDQKNvdMhZ8p3H2D2ZKLTT+FRyP8c
BYm8YMqJVilDuEG9i1xQSCZegf1HzeYAILF36RVuDpnVW2PN8T01d3Il9GUAdLhk
EMvxw271P3O7+uLGJrqGjbKZvlDv+C+tjLfKrpR22On4h3A4ufx2SsJr9GRLmvD+
xE/2+mNkfJs+HujKlFug3940W1eZkmf5aTRATSYubfHsZctP+RiEnmHBaI3kXPMs
I2SXBHcD0xr/lxqn6x+1fv7fZun9LbfZDAWQUmN8GGsvvTk4GEviNLXPFY1ChgKF
UfBmpz85G8FfgMOHcdnU7qXN3aqUCggQ06y1B/ziNTFEcUT6DSTctgLqj9HtrMPf
qfacfkceLZyGqF7GJ5uLF2p6UaddTb+S/wEi6Mz3IZPiS/BhOh4b2/GsplUzpKpb
TvXSgFlh8xlumpmsfaoreEe0zO210j987pThXOtK9xEA0wK2n+p40fbgVJ9ouiQq
9DCJDVxFMKWs5PRx51jPEQwyvOuERPifzRPqBnvJhdaqzLcC2TgzrJE70XOhYCl8
RWIKfZzlP9MU
=wGbM
-----END PGP SIGNATURE-----