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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.4.1~pre170114-1.2
Maintainer: Hendrik Tews <hendrik@askra.de>
Homepage: https://proofgeneral.github.io/
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-plain-generic, texlive-fonts-recommended, emacs-gtk
Package-List:
 proofgeneral deb editors optional arch=all
 proofgeneral-doc deb doc optional arch=all
Checksums-Sha1:
 e0fec0c4d6c6203c8a6325100073911e0db30d74 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
 ebb27ec63fa5f6bb89725df5fdd3ee86c9ef9a28 19908 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
Checksums-Sha256:
 bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
 184d07cc7aaa1dc58928b30639668d87d996c64c1e508f4f7259613acc298cd5 19908 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
Files:
 56ff3a7d19e7062598664674aa890332 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
 f93803a132978a784df69075beb0b89a 19908 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz

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

iQIzBAEBCgAdFiEESYqTBWsFJgT6y8ijKb+g0HkpCsoFAl37LXQACgkQKb+g0Hkp
CsqHWQ//e9CDO/dDMKSrnFqXkC8chkt8ymWmFaxS6m8Sn3Ixd4GAVw75eGaWdy97
UDqNzO0RV7J9cPqQCJgFITyVSzHD4YrZHyPhqcy8Q3a6Vec1XAWvZw4E9iLD8/VA
toYNOkWjbD84LX73vMak6fFwalGJbWUUScNCoeJVL3Ivoezu7x43+9mtdnklvlp8
tODluJoyTSiEeJQ9LxtnlYykz0MiH/QU3RX1Z8u/NKNxDV7Vb5oRuh/bjptYS12F
JCYAI4l+2Wj2sc9MJEP2J9IuilfHvG3bkkDJmCZ2ORHwwaFRURTvyKJVy8chtGXy
0fJTMIgatTQQv1dBhFUSZKQIaX/ixlOZy38gnrngzpZ8jNHKRCDc1huPsbeseDAx
kSdmxev0UPTB5mejfaxAO/32Hmaji5Ydw+7Q4oxAam6aozqjtVqT/O36tfn5TlIk
Ui1rZ8jkDZldnrli4+3SbDHjqlGwbQ/Okl+fhn2XgXniTPE500sBXT1fd4mgAim/
U3gdv1kYIvYQS1Rq0KDKz+GETQnd4rCp6ZZrNsak8dDVjkG3oIvw/IIM2xuQsEGL
wLfXr3NSi6SmDU7LRqJcWBMs6zFN0EUaPnEtzgi0//WguNCuVZWPEqk7USoScHWr
KOl5QO+URp2avx86VTUL6+r6LYwckfHzqr1AyukjHwxNkfW0fOk=
=uJmg
-----END PGP SIGNATURE-----