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

Format: 3.0 (quilt)
Source: eprover
Binary: eprover
Architecture: any
Version: 3.2.5+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:
 a145d17fe65236a3b46a63a16ce76adc32b94e08 1035484 eprover_3.2.5+ds.orig.tar.xz
 dce43b0cf04359d402dc6ed6ff138b9a9577c5c9 4448 eprover_3.2.5+ds-1.debian.tar.xz
Checksums-Sha256:
 a49af51a5d61596c172a60d6ab2607f66344ceb3926b2bd2f7a39fe8aec3346a 1035484 eprover_3.2.5+ds.orig.tar.xz
 1824a1aa5497593efed83886c9a0644647997ff61f6f5c4920ca8f7e8e4385bf 4448 eprover_3.2.5+ds-1.debian.tar.xz
Files:
 2def1cb0a3843b47907193cb22a83701 1035484 eprover_3.2.5+ds.orig.tar.xz
 5a6f0a977494d739c546ff9f11a4a444 4448 eprover_3.2.5+ds-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmcSzWQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpD8QAINkw0Rld8wkc4zZv73lALLcoUiYP7Fa
ucmKfUabgLUUsHX/HAtZs4aUs6xmiU0sxnLlIsuyDkUblUWdanbSdromMn8bCYNU
0c/CAXpiz7HYLKY+lJIoKyxQ4NT0jIAJ/evrJrA/C2MNKiJPVQPbsPaoiOl8uh/b
0G4wR7KF8ssqwPTqJsZI/QZo85LESKUaKWfADqm63933QWnGuQ4mveGc9Z3YKVkg
2BZ4cnurrzpdC4Uqg7uMy0t4oTNAs39w3DhYHqAd2MP8jZ8iazIS90AAnp05TOEL
8QC+usD4ePUgJjX7rQBo+PIy/SIHEOujTAb56dHM0/OkpLA4okogecgH99RaoPCw
FiT1nxozmnC42YGYEoqi8ptIzBhJKEzs34LMvxLCJ6CtQZ/5yjKQ0qf97AGTq1x6
xrVg6mAVWxw9F0M1Djt16sNL3L6oEcsh1dQHoBIXFyVhe5idX6ttK6S8u+JVOZOV
spByUtsnKcGwSbvun0Y0UXwQr55lgraN9MaQOp2RInPpvnX5de6mGQJgnzR2dlBZ
cDAfm6ejphzWRy1dF6QwnxRa3vYltQ9yrOF89duRM7WUvMGiZZzGROZm7Js37qHK
OKDpIR4Q5Y1B5L4KiGuEminctpdiX36ZplBNpa0WKv/M2v+fskCZR7DRbDUhacLC
q1fEtM7KRwBt
=Ft7C
-----END PGP SIGNATURE-----