-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.4.1~pre170114-1.1
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-generic-recommended, 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
 bfe218c8b98f187a2582bf1c5ddae6e8374d2df0 19808 proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz
Checksums-Sha256:
 bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
 7392f5100931811fecd760fda816df2366998ba99c1566fd15b947e972f65dce 19808 proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz
Files:
 56ff3a7d19e7062598664674aa890332 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
 6c22be8420d5e143313d443aafe4cc2e 19808 proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl05Zb8ACgkQ808JdE6f
XdkNVw//dVVuBIePn3jmHQEpSVSyGSPnPFceS7+xbqMQ5dGgA4z1nmeJIp8is+v6
laX6e7XqbH/aU369vfBVp2B2TH37Dqx/NTL5sSHRgfKyNQrYOa57yk7Rj3fLHNQX
nRz81L4JFs8w7uMr6ieF8bD0oV/H/GCO21mvXBqNsVS191vTZwfUsSJ+avmJZaXx
ccatJnuche3NAF5dgQzdaekUmb63IOinCEM7jwnNZo3cppLx6dGZ2tsD2DmesjR7
WXsezLv13oJ7pzywM6P6VqsOr0WrsoWu/hdLn00DTTv4uSz/dLosnlqnGCL7jJRU
r+iVpiV48zdaQEMDutN+Zd/dBWtT/DFKh3r+3s8CwRSsmZHhrBhACJwP839tb0oE
WgAYxqYWGTaWWOpMyzaUn/QdeWClODGTgX4VHFxeYihMGP/E4V4XjMQLOKGPIoot
4yZApcWjgpyL/dRav2o5rLKEtOThV4VA52sRBOJ3liJystNozByoUX3uhjMJ4gkL
p8M++v0342ijocLTIvt2iEVI50fgjc4mMo1cDwf9q5wsrTFN4ZOA+HAET1D8j+CN
A0lz7YXCpqaFwmVEaxcFZdL0MPeszSwuN/9HtGzJxeMHbNjpCctdyQ3wpw2XAAvf
YUHuMxzjQQvhF9jyE+Q/kP0Yj+mritSSeP28sW6Nx46GugD8VGk=
=UByY
-----END PGP SIGNATURE-----