Accepted proofgeneral 4.4.1~pre170114-1.2 (source) into unstable

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

Format: 1.8
Date: Mon, 16 Dec 2019 17:50:59 +0100
Source: proofgeneral
Architecture: source
Version: 4.4.1~pre170114-1.2
Distribution: unstable
Urgency: medium
Maintainer: Hendrik Tews <hendrik@askra.de>
Changed-By: Gard Spreemann <gspr@nonempty.org>
Closes: 941544
Changes:
 proofgeneral (4.4.1~pre170114-1.2) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Build-depend on texlive-plain-generic instead of
     texlive-generic-recommended. Thanks to Steve Langasek for
     patch. (Closes: #941544)
Checksums-Sha1:
 ef3552e140ca2fc5c396d930ab1f5fc9a549ec79 1983 proofgeneral_4.4.1~pre170114-1.2.dsc
 ebb27ec63fa5f6bb89725df5fdd3ee86c9ef9a28 19908 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
 41752a7b34c7c95663457c7d908aead7183f0b7d 10964 proofgeneral_4.4.1~pre170114-1.2_source.buildinfo
Checksums-Sha256:
 c466855c5f38e46b3b8eed4cd8e83817ce16de4a6330c8d2fc8503d7f8a4d05a 1983 proofgeneral_4.4.1~pre170114-1.2.dsc
 184d07cc7aaa1dc58928b30639668d87d996c64c1e508f4f7259613acc298cd5 19908 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
 9c1a69d8828fd853e69adc4b02cb0f92de4274a09ef3c2d58843d2e940bfa946 10964 proofgeneral_4.4.1~pre170114-1.2_source.buildinfo
Files:
 21b7565fce5cb4e7ac1144322e733d49 1983 editors optional proofgeneral_4.4.1~pre170114-1.2.dsc
 f93803a132978a784df69075beb0b89a 19908 editors optional proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
 458b06b53393cada191f8cfc4d7313e2 10964 editors optional proofgeneral_4.4.1~pre170114-1.2_source.buildinfo

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

iQIzBAEBCgAdFiEESYqTBWsFJgT6y8ijKb+g0HkpCsoFAl37LXoACgkQKb+g0Hkp
CsorpxAAuJLzsfBADr2NicLyQjRmH47lOdSK96oXtfUH+IpAFfWJInBFhMcWNBGZ
LrOI6X5odQwhT/tVSuhF/Hr9XsSo99Av/x2rya6TvUxGGix4BYPHRqC57E3OhE5E
/8040d0g83WjE5oG/vGdvOS3weCEovHu9mUz/FdGH1NdbAjxRsMHM0n4p3kp3G90
0ByKz1Iq4JyOP0zxiOgnrzq0iCayEkM6F1GrAFwB8ixTHsndEBZZvaRq2PwY4pzQ
dtEEtxmW8+C7gIMIs6/DNbh4eIg+KbedzPIsCmf5Gi6+WfmOh3OrMIbj0Wwwh+4t
WYmbuZNQqQY+7vx8IjJXehygUOlUafzbJPw3UU4sg1LlR9MZ3gym0iW0Hts0lDkL
IFzeVSba5JSEQ6R6KPAPNo62pxve8v/4c3N6VWpuY7zFKbBnWwHKNEFl96bf1fSn
PMX8vlNeMKb2sN4Xt/aJJOEkhiM5a4EOA6dnDWT4BpP7izJjOyhNS6w/z0RXR42c
NnNpo71a1jFaEtOdcbmcMOPAlcibpgYAKUmlcNBhGP0GjTAoRQr5NOJbV64rQEK+
UDxx9kWsju5IwKm638DicKs5ScfLXCbO1mgw5JuZ4YgAHNFeRQ1lOpVzR8QjiCug
vnYy1HsAZyx5jpe9YLRm94E1pPDmWBaiS4UnaO3XUU/sIe7CleU=
=FTuA
-----END PGP SIGNATURE-----