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

Format: 3.0 (quilt)
Source: eprover
Binary: eprover
Architecture: any
Version: 3.2.0+ds-1
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://eprover.org
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/math-team/eprover
Vcs-Git: https://salsa.debian.org/math-team/eprover.git
Build-Depends: debhelper-compat (= 13), help2man, picosat
Package-List:
 eprover deb math optional arch=any
Checksums-Sha1:
 eb63651d3b2a95c3866bc8f2b713582ba3bba022 1034320 eprover_3.2.0+ds.orig.tar.xz
 645965c98c8ba8785bc75c193bfdb85efd9675c8 4424 eprover_3.2.0+ds-1.debian.tar.xz
Checksums-Sha256:
 0651353014007254744f537d690018dc55dfe3474ec7de4fc98a9122f989eff2 1034320 eprover_3.2.0+ds.orig.tar.xz
 9569ac361d6fb3ee985498f31fd258f1bbd21d785d61508e209f2f9cd0bf3d68 4424 eprover_3.2.0+ds-1.debian.tar.xz
Files:
 0f9b6e46c7afeab749c37c8f3bf4b836 1034320 eprover_3.2.0+ds.orig.tar.xz
 aca7f13d6aa7e5969c6b3021cd49eb3f 4424 eprover_3.2.0+ds-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZv0VgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIJ0P/A1M6mq2aGYXhcVdcKete7V1DK2wYqBa
+WZQ40pd5XuonQswF+OCoDA0O+/y4j5YhQvleidFRUHvWcplccioWkhwM2PcR0qF
hXiHCv1dCVCUW6PHPQTqTHQaEtaoBaMLKlDzmqEWCYnxyJH4U2ggdKaxUszevORT
4+81YiFEO6PJCpDJkvWs6dFHYuWK+qckxfnLH3gEeBNOKxWptxiHhY/z0V7WIW2v
GvSDnMc91SPKka1tfygBGj0XEASuanvHYD5pjK13jpRPXVB2acpzJspLh791JF2+
ScSVZj16aFcI38TKkdjbmHcWFuK/+THPVrkhDd/VWndfMqr4ivQ5qW4U5eKrGP7l
3dJ7WcNCOmLwO23KI8lJCRcYyceQALwR2xjY/3Sxyihso/0meSfSMy4KqBpB6OQL
K+cNcKrdz6k+44KnPO6M7MWDtkGgt9YXrSeS0xZcxjY/JooRsF5RbsMHcqud0a7G
abw1t6q9cFOh6xXf1ejxm4mSWP4VkmRaDtxefUq30KE+1dQcfUaK56GQE0vsYJR9
BCjQBI5hwFq4N2cyedcMszwwCt0xLaxzNs88KGklvRdNk4oq9EzFF/Wn3DAEqRpj
huPJlSe49sRzUg+E787O9eZcszTo6PRF+DmJCa+o+/xahUn27KqUH+ED+25SZLo/
nUa0clkwBCF/
=Vtr3
-----END PGP SIGNATURE-----