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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.5-2
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://proofgeneral.github.io/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/math-team/proofgeneral
Vcs-Git: https://salsa.debian.org/math-team/proofgeneral.git
Build-Depends: debhelper-compat (= 13), texinfo, texlive-latex-recommended, texlive-plain-generic, texlive-fonts-recommended, emacs | emacs-nox, dh-elpa
Package-List:
 proofgeneral deb editors optional arch=all
 proofgeneral-doc deb doc optional arch=all
Checksums-Sha1:
 8dc48a09217b386747815289590ca9c7c602ff92 1198535 proofgeneral_4.5.orig.tar.gz
 6430e9a25e3702d2e41fa8fe4da3cd02f20714ad 17372 proofgeneral_4.5-2.debian.tar.xz
Checksums-Sha256:
 b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2 1198535 proofgeneral_4.5.orig.tar.gz
 d58f44f1960e5fa8a681fe19c4e8fd92bcc471c797e513b87b8d6559c62191ea 17372 proofgeneral_4.5-2.debian.tar.xz
Files:
 7fc03264e924f8020e717cc4cff67197 1198535 proofgeneral_4.5.orig.tar.gz
 558481addd2c4efaa967bb456d6af6dd 17372 proofgeneral_4.5-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmbpF2MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRgw4QAJaQ/14AS2a47F9ZGbJxOnG9/XpZreoc
tq00GsuC9M49P6nhCUrropZixfWwwHSuueMkc7QE6W6nX5p9MX0YZlow6hZ4rLHi
QKTIjzhcVuyJ6+lpDs7FwJlMiZzimIBZSFhLU5pQrGCS19EmqNXoFdhUnQu9QJyv
cw5zVknkGPZ/O1C9y3Qu+BQ2tEN67XQGCPko9kXutZMyjxEzvZAHp8DZgrS2Tw5e
mxw0HVQ40DNbmaNw2+GQj7LwILqYZ7f/tQtVnkra8qu9icSTMv6pqIZS67S6BqjP
x4zuy+SONCIxpSexaJu1QFBZw/tINVWoApL04mdcHxQDk8T56caWkvhmwV/dDPG4
OqW793a/iGjJXk5s37LY8QhgbL/OHU6x/lqWhy6QD855gDtwpJ0FZ9p79Pmu7/f3
dUhJ16CkIKu7ICUEQBNeAsB/5dTHeXdiHc0+XgaAQYMEQksKF6hRgnXUOMPgDFsk
eAbz3f795ByYzCCkIW/fgSj97pwdrNdib1B4z66jWKjue0mbxIwGm4lKwzrt/FWf
Ptu4ZTxr5nIr/qJ7gBTnatfJVP1lt1Q3l8RsdXCllrPvlP0FGagOAT+lb71TcaCj
Iff2VeuceGb2xZxpZ3JwdpmW0gfnH5hWLZg2pHYZE/koVV9NBDO5Bh3nH+DACyY7
BLjEdXz/FaD8
=ytWX
-----END PGP SIGNATURE-----