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

Format: 3.0 (quilt)
Source: eprover
Binary: eprover
Architecture: any
Version: 3.5.1+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.4
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:
 737f57f143425863f967158608553aa572f16857 1043040 eprover_3.5.1+ds.orig.tar.xz
 28153e154b03421d0214b647aea48e08c9e4d5cd 4644 eprover_3.5.1+ds-1.debian.tar.xz
Checksums-Sha256:
 a11e66f5e57ed102e7d8232769759ee9c485a803daf74b4805a575c8148d4955 1043040 eprover_3.5.1+ds.orig.tar.xz
 a7dc7eb90215da97bf7fd784e4ae4047edc8055b0e7206f4b39a4faa66a79526 4644 eprover_3.5.1+ds-1.debian.tar.xz
Files:
 8f18d240b3cb063b32707b3cb33ab99b 1043040 eprover_3.5.1+ds.orig.tar.xz
 ed734423e3fafb6cbf117400791cd9f1 4644 eprover_3.5.1+ds-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwzIcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUa0zD/97hMST9qMXIX5lapsNhs1u
EvMecWXzAmiSnLaOlC/lGQrO7FGGDOxnxr2LKbGgStluMKAjTDYMXPVWZYZslNzo
+7pF/q2rqE8qHRKk/kv4HiHIyF22i6AryYnEm5HF0lorhspdbDBEgKNjAwDY+kxD
pItIVRgWGGWhLq4wosAOj2NijN1jp9VqPsqJUKAR+0BNcecgOlHM3HrZYAwvDVVU
LFYU74C+LctgYNs/NyOLSN2DLcmRC+l9H7HoWtoZ5TggNoVak9D/U6T9sZyUn9jr
xEBNMZGaM0rote26NMMQ1NRzw0C/QGDsSvFboFri4OPS5dlvwGAzgqweu4WTegPo
q4U8ESKmK8d0ubud5Zpq7xYMY9kpPXp+9zYdnEeidr/tjazyqUnz6BCX9XoXr7M+
U3KziidM/4PDBptM8xubqdvnZ86xwnaVf4mEelX2PCCOJ5MRHf6u5Pi0SP9wldQ0
/j6vyY5SIN50jy/VvdfH/2CvGiwV8vF3Aoz3lapPz9uG4BBeynx6oNfMZUbs5QJ2
c5Z2uNhH3/CzMo/WzJZA9roBNHHC17DD+OsWD3FKaIqZJtC4SCSFtPbL3sg2aiXd
ZRTt7g84CpSGfos2e36ePtBc6c2XVW2fuB+VFNhh6KY2AGyBprJNs0fkjDBLjDa+
cxMS5ZV0qHovsTMNfQZIeA==
=NKTE
-----END PGP SIGNATURE-----