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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.4.1~pre170114-1.1ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 86e8b64a5e400aa271f6fe9a3cb34094c30d4b54 19944 proofgeneral_4.4.1~pre170114-1.1ubuntu1.debian.tar.xz
Checksums-Sha256:
 bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
 863d2ed5d13ff3b5b389b8da920c83d242e9fb23dd3401e83bd82694cad8b56b 19944 proofgeneral_4.4.1~pre170114-1.1ubuntu1.debian.tar.xz
Files:
 56ff3a7d19e7062598664674aa890332 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz
 3ba6b0c0ad35c71a51a4d75040a25b1a 19944 proofgeneral_4.4.1~pre170114-1.1ubuntu1.debian.tar.xz
Original-Maintainer: Hendrik Tews <hendrik@askra.de>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl2Tx34aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz3qDhAAh1cj1hJb4NEnmAFNSVlw
gqqIILEu9RDcJcVjvFW9dOskhIZvy8XUypLUGsF3VZdxvhwoIUGJEaNbzMPn5t/m
qK0eMMQt4andsHNsZ+24FjSsPnUCAef3P2ZRGuruGPsBcdvSQheZWgLxUosmy9Hr
lhNBrxu+ieo60Z/IzMFyRsfZutMnwpPuKBDIV47QECz1E2z00Uxk969ZAK4e5SlU
KO25VCxNG7M3InjgOviD9ExRbWKqG81IjqThB5R1g1YRcDxa8gD1gBuT5QXUh5+U
4xDGZVmjAiklMLYZ9NLHfY3lVnubWhApkBtOaeFVeTfrZ77y2MnC9DwKmmGtTv0i
oG2lKQ604l1wpiGCWbbXv5Zs4KK9rbJVd8oGYewt9K2h9iFAgUqJGHUKOOkUDIx5
LnDhF7oXZws/Zs85EXshZvYM8l5w/R/ec0EqukQwdffB+7QFlonc8f4kDgmPtJ2Z
RQccvVozJ3C3PWTtwKomzFOH1tSrv6zD0wVDgVPdX1NHIoNzzoh4yu3W4FoLKaaF
ejKXyMtR5BWeB0MMtvM39fEIupv/a2ptNSBn4G/WgfBvdcTn3/dqbL2RsRXGm+Qv
iPnytq5wv9+BFp5g3kKdc1uEKXZQ0ae4wLHvTcbH3E4tVq/YhELtPtIx+MxC0eXQ
uBbOHvfF+ou74I/dkuwHc68=
=BC8F
-----END PGP SIGNATURE-----