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

Format: 3.0 (quilt)
Source: eprover
Binary: eprover
Architecture: any
Version: 3.2.5+ds-1build1
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
 224200d411bce46d63cf44638dda8a1a64303578 4516 eprover_3.2.5+ds-1build1.debian.tar.xz
Checksums-Sha256:
 a49af51a5d61596c172a60d6ab2607f66344ceb3926b2bd2f7a39fe8aec3346a 1035484 eprover_3.2.5+ds.orig.tar.xz
 12e9cb8987369a707b8f89c19267c7a1d631b60fd33808dcb46d59e5745cec94 4516 eprover_3.2.5+ds-1build1.debian.tar.xz
Files:
 2def1cb0a3843b47907193cb22a83701 1035484 eprover_3.2.5+ds.orig.tar.xz
 ddea61717b769cc27e9334bbd7170df6 4516 eprover_3.2.5+ds-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmlqqusACgkQr8/sjmac
4cIdvg/+Mx5St+wiJdNwsjL9FkRmnpkbQ4KcCUmoH0zO/3OTmAqf3I5Zp2k8nDCd
kXimM21/w82XDoTJLDj0U20Kr5uHI+HOzVbhGLA9k2C7Ofo5GgosvHGkQOaG07/J
kqzpCf0p/bxtAhj0NIwJOzy2JxeslhSD6OsVxt0YLZ+cDOelvRFFqBCZp/gdkP5I
87yEIi5o1EC5oJXk6W/HZ68/CXE4qdOV4KlIjWBcVzZ+3fZZfZz/JSqDFN/A6kt+
U64wb6gBvWSliiEXDi4Jx+Su76qqU/vVkN81E/Og3HyoG4RRxMPO6E6Dy7pdNICq
feexRsM2jQrX8nzkJ3FvsOl0dP7sDWzrEVXTZjr+MVRSQuu1WI+GKUgqgZ8VxeQr
A8U6Q6lseJsqjnLhOkXsmUSRY7tHBwJTIR3BhFJLhhnwwx16+GFhqvtm1jdkQ9tZ
T17Wo8hyIr7uZfWIEGPXAPNZaLAGiSIoe5f5QYUrpeXhtWrkxaLSvPmxpYZ3kXCe
DTrWT1+dNvWc/js1r8EyCcgU4uPZs+SCFTvm69Voyw/zRBka4WajQIXdqD18wnYM
vgZYTUhBygmo2eu9bH/KPMjAqJA5rSm4Gg3zvLomHq9pgzHJxvQYm+k0uMGdv/tq
XL8kkymkEsI+wr71HcPFNx90+ngCr3bqanbKAiAst4V/4gRlrrM=
=eeuG
-----END PGP SIGNATURE-----