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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.5-3
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://proofgeneral.github.io/
Standards-Version: 4.7.0
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
 4811dcca260f66bef4e5f1699f0ffb66510e1f48 17424 proofgeneral_4.5-3.debian.tar.xz
Checksums-Sha256:
 b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2 1198535 proofgeneral_4.5.orig.tar.gz
 b40ac95a1214a27100e9a981ee2b1e55844ed93372e457cf107155ecc1e301e9 17424 proofgeneral_4.5-3.debian.tar.xz
Files:
 7fc03264e924f8020e717cc4cff67197 1198535 proofgeneral_4.5.orig.tar.gz
 b4f539b38b2a0eb3d4c9fa7609266530 17424 proofgeneral_4.5-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdHVwUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR5W4P/RgSfNZ1t8/hrOjReXysVe6kCUkGlGHc
m9X270c6GUv2Mtdef0werEO2VSKok+hzzU25vSsX1jPFGuhR47I5P9iJK4fZpTVA
tZSD8uf2QKR3YwfmsEd8Z1ki8WKd59HoPvu0Vea0HyGGKVlxdBvi6fGahKA/E+i8
INIM/NO4LkKiyUg206ql+Fa9rmh1HNVUOirTxhPg2FMG9c4kJ4tCVV8yHzBFMIAk
1LqFUYEVAuAj8+ob8qH4K1cGXlvwh0uD0SWO/1bXm2xxdMCMoVT3wKOxx5jMyF0J
1gKsDMDHWIGi1zecrPOaao+wevGlu0LJD01mTY8HfByT35a/En2mJ/DRx8zN586r
gxD1Sx1C4XsZXGEEKapdnZ/M+Vn22HLWhXOnyLLyDq9q/q/VR/Nj5zPXmY/5shnS
NII8xkdA3mEK8KN7ylpf82ehq6LwKvlRo+Cfy/FsYKIO+SGwXm5OKywS+Yk3v2lq
isxaQdWUnr7IpXbcahBGDRUOLoI0l+HviA0/0U2qS2248v7u5R7/hBCAqU72FgiA
Ye6gMgs1QjrdFtTZ1Qw5/rwVPxnK44vqYiaapd2o0WjO3OlKTlEJqYzWKV5R8osB
W2FspbrzB6zB4EgAnX5BoFxV1oEMpsAwQkS0eVOHQBng+GTb3vv5WrcriBFXs0Me
oyUaWWe7ysfn
=1FEh
-----END PGP SIGNATURE-----