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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.5-3build1
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
 6f08ee4f921a92aaa0afff92257e16ad456a08f3 17496 proofgeneral_4.5-3build1.debian.tar.xz
Checksums-Sha256:
 b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2 1198535 proofgeneral_4.5.orig.tar.gz
 81c2984ae6567bbb5f8c0ed64aeb5da788c0d4ae0591b98056aa54eb2b31610b 17496 proofgeneral_4.5-3build1.debian.tar.xz
Files:
 7fc03264e924f8020e717cc4cff67197 1198535 proofgeneral_4.5.orig.tar.gz
 5540b6f0645a13b12a664e470f8ef3cc 17496 proofgeneral_4.5-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAml44vMACgkQr8/sjmac
4cKEAxAAnGh//nuiAkDhjf/55OlwjKukyEQat5W1HsTS6LJnSEwjy6NshXKU4vkZ
oPUBOuQ8ptjbweH+Zsr/3anrWjtYAiWpgube5W/CqLV7+XlvdolUdAy7q8yJy8b1
9vnbKsGmRctabH+vpHaZ96QLJnSw5mvf/3KeWnu4Bttm3ysq67RqJFJCZKJPqrbx
NoJI+YcoAAElJscLVNcQ64g4WYWazOtdyh8JDVYteVrf9MQtmunnJITM9lMoofun
SQTjd4aUtxaVXJ2WIEUkzG9QlV9Cr2dtvnfMFJB1tn/KfG+3QHKZnBkclegudwFt
Y/ovjcpT9zt8N2jqjgNffR0nBEV9KkyOg/2SGtOFHiC13h+fgYkkcLVHTIHcwncU
E17i+NsCwQe8XdLAEoyfXhg1UdPRLmDW/FbjEDzOFuIN7DTin3l/flbz5G1M3+1H
MKfPze2P3WdWIpQLaenSBmVy19DGCHVbNONrJWPrvM95grTlDPMhhQ8qIN/qHCXh
cJmNVgjeGrqTCEYZDoajX6lkFkrnfkFBX33lfV0itI31GpOKticSKeAOoZBJckFF
DUMa8b0WjP4x97MiGhekkcVl/Zpn1k3XD3qoTGnHw1d5tQqLhBjEGsoZd/uVnv0J
ca2rS5mtxE0ayEcbu/qUTc+oJvpWKh8tggcsJLK5QbkNXdF4RiU=
=FpoC
-----END PGP SIGNATURE-----