Accepted prover9-manual 0.0.200902a-2.1 (source) into unstable

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

Format: 1.8
Date: Tue, 05 Jan 2021 23:21:05 +0100
Source: prover9-manual
Architecture: source
Version: 0.0.200902a-2.1
Distribution: unstable
Urgency: medium
Maintainer: Debian QA Group <packages@qa.debian.org>
Changed-By: Holger Levsen <holger@debian.org>
Changes:
 prover9-manual (0.0.200902a-2.1) unstable; urgency=medium
 .
   * Non maintainer upload by the Reproducible Builds team.
   * No source change upload to rebuild on buildd with .buildinfo files.
Checksums-Sha1:
 e9306f56b53e6c17c0d5198c0626b9141b9a22e2 1980 prover9-manual_0.0.200902a-2.1.dsc
 220ec83b9ee2b25bd9d3740d5447df804d8207c3 4668 prover9-manual_0.0.200902a-2.1.debian.tar.xz
 7fa730bd86f9a2e8772cfca0b985de3819cb0150 5669 prover9-manual_0.0.200902a-2.1_source.buildinfo
Checksums-Sha256:
 3555a9e207b0818b0c17aa45c025cffe1d736064c81e907b9b43a6c33e01f356 1980 prover9-manual_0.0.200902a-2.1.dsc
 f691a8754fe1e6262ab8287df0ec404f9da30a6967019720c9a7b04cf883c4b9 4668 prover9-manual_0.0.200902a-2.1.debian.tar.xz
 1d55c771616f670d976e48ca651c924ac594b6a29c09441d6540c1b9dc211e15 5669 prover9-manual_0.0.200902a-2.1_source.buildinfo
Files:
 b18bf31d33dd376a2d35ac9261882dae 1980 doc optional prover9-manual_0.0.200902a-2.1.dsc
 faa418af02d2b8cb993803c012136e7a 4668 doc optional prover9-manual_0.0.200902a-2.1.debian.tar.xz
 40b8c211d259b8c08acb7ef025ac7e20 5669 doc optional prover9-manual_0.0.200902a-2.1_source.buildinfo

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

iQIzBAEBCgAdFiEEuL9UE3sJ01zwJv6dCRq4VgaaqhwFAl/05pAACgkQCRq4Vgaa
qhzneRAAmZK6UV7gNJx3XR9jCXAK/XNE8GV7L2ZShmpQ8Ru1nAQcWCGogG+XpT1d
drIWWeL/qae9JRRg50p0X5QeyPmHXKvu1BzZeFKGsVTbjhqSSJHheL6VeRyMxyOT
drnj249sBMQ/oQvwdS/ILSzONsYnMQ+iMxwjuUrg3zpk6eexxp3xoh4q1rkt7vLe
bxWMjYR06nab02lT+8Q0zy5JnJYm9JAFwdZctJ8c4qJWDXqAWlKGztGx30WBOBJS
gzr2TLGtGZpxD8l/W1Sb0xpPQPUKLe4Q8tDRYihkXyGwrRGEvFbAAe1tq3eeTFsY
EAS8HWbQTHa5KHYiarlwHoicyKLhibp1lsLLXkMHjfGrRvLSxjs8Q2yFWdn4aIku
glN4AaChblBOAjkUHauo+YZIrhkKlsCP2LjdtygLgslg/xm7Bhh9akMNC50PN0UX
9FcfhRDJuzUL6I8Xqs/Ao9WgjzBB9s71dcOb82rDFF1p9fobzYw06hwyNu2AH1df
ptgYDBxPUZuH7C+jN3YQ55UFuGtcpjF0t4/YNvHeOMBPCMBPCjfozECsah7BLYz8
SIMNSyo6TyhXuWhI+jx88BPovzvEawglQGWWFo62/5hmSc5YYCwICUcuWPq6B8VZ
MtmmGcq/Qlns9te9Tgq+5tecISqfDyiRngk4dZyrz9TCaSCPVyU=
=2oxJ
-----END PGP SIGNATURE-----