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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.4.1~pre170114-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, emacs24 | emacs25
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
 78df69da42751ef834c9ec5af06bf644d755619a 19736 proofgeneral_4.4.1~pre170114-1.debian.tar.xz
Checksums-Sha256:
 bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
 babfc1232f9a7bdbf295173a3446a3d06ec74ec05dd05c230b5b5e3f08587db8 19736 proofgeneral_4.4.1~pre170114-1.debian.tar.xz
Files:
 56ff3a7d19e7062598664674aa890332 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
 00ecaa67c5c812bfa5c6243e9ab3c0fb 19736 proofgeneral_4.4.1~pre170114-1.debian.tar.xz

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

iQIzBAEBCAAdFiEELxwEo2l/3m4i/s6V8EC9TJPIWtIFAlh9PAUACgkQ8EC9TJPI
WtLNBg/8DEafVizHSUgL1fH5nNUA/MEIWT4MZ8pmtUg7ekxt7a4QFguU5Yh6Uw12
0REhCjvAEF+CMqBa9z+ylopS96xUluyxeOFredwXbkWilR2AwPwEcMmnODdCQMfS
M2yHFCX/cZsAtoHPb8TOcxBIZNLlUPQVGn/Xs+KY6Okp8wxm7BWPcclpWaalplwJ
QDlIBhPv9nV2R09TlYUkwiwWJynepLvSFuzx6koZTQBX7nBAz0XD3sHPtrAonVX2
6avzc4zypBRsAVcm5CsvDGr1E2gdqU1yqkYgDVo5gHsG3OnaJ/wzMXPVS/Rq1qCo
o27xwNi2vjS9bFDTdkBklks3IHBhTUTjpnt3hstqUeoCbYIsBw5vB7LjH5cyt7Tk
p6M7Wtub3O6+Rrp+AWvG0wzI1BLHYPszYA3fBl96B7r1OWNPAmXW9L6mNrjfRpPw
Xwgwr1JEAsuOrm+6EKcpQWXyH4YIh2/HURwtIDeuBWj4aBxZbm8jA+JIDNUaYT1z
prEDepXB872HRbGsCL3UJwhiYqqsk5RWOlE96hEf2BtuhG7XqaVtxlDvxt1YIDg/
9Y45HxGnLagm0deW/Oz6gP/Xb8/aXfKSdDDUMJ5VqDrztPCVSDsYk08cxGsMQ6w/
OCU2wYoYMUBl2zCUyZHiCPTtlXkL3qrmDJCHGpE7MTzcpv/aV6k=
=uJfB
-----END PGP SIGNATURE-----