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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.5-1
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
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
 9686bae602eeb3b4d146ae249e7831cc6b5aadf7 17188 proofgeneral_4.5-1.debian.tar.xz
Checksums-Sha256:
 b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2 1198535 proofgeneral_4.5.orig.tar.gz
 4a83de48314f2892c6c9e9b9b45b8ef79fcd41a06cf737fe5e8736d72d39c182 17188 proofgeneral_4.5-1.debian.tar.xz
Files:
 7fc03264e924f8020e717cc4cff67197 1198535 proofgeneral_4.5.orig.tar.gz
 714d5a5165863f4996d0a4234bc182f9 17188 proofgeneral_4.5-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTeFNESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR2F8P/3zaamdp0S+Ggf25/Y3vN3j5gumqvCU7
vFXHj5WqsTnZtj7fAq4j/uJhOVztxZrU0PuyYMPWD28V0CzVK2PJZ0y9veHFq52f
XWkKdjksvPMnOjDgorlX9rhjZZ1ZAPC5qlFY/j2M/mUi4AhBXem+lbBuARaYSEG3
RHkt7INMZ+Zj9gDTS/JIZfAGJG2XohQ8dQAdDPs2mPFcefL4ChoyJPSP77iEAuR/
FBjnwJu0RFg0iphl2h1Y1zQPNaHN2pDOuD2n49O0y4iIuN/FWJJtH2Y7tfFmiR/v
alDOhE9koCbEjoRMZpOlFTc9EMwtQB/AwK9JpybZnL9XhPgwOjk14VnelO/KzBVw
AsMLc8uR5sMp1YH1MlCdQyWC2dBTEtDmxfoC3SQuwQ0OAglxyAFBbLTE8O/LvepA
P2oVbmvbDdhFfdTde2L4Rb4b8SE/3QMy2RluYMVfJuusgxFxXM9DG+2K3hdeYnr7
qrJhIekVo0zfMlINYupDsC1V80SDJyJihipbY+YU5OkEpco0oyH8RzU35mwL9zXi
jVrgoae3fs1I151Ys5AFisoRx+cbCnSyGM/46Xl0QvGHM4rurb1RqhV/NJ+Shc0/
cpjlT3xFhA21kBt8zrKEZIjL7t/zPfjg4O1I6BUTKr0fmPY+hasQot2pVxhMrtvn
udNFiX1U61fl
=2NaG
-----END PGP SIGNATURE-----