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

Format: 3.0 (quilt)
Source: eprover
Binary: eprover
Architecture: any
Version: 3.1.0+ds-2
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:
 bdd8d56b8999a25a619decc891d399666ba810cc 1034252 eprover_3.1.0+ds.orig.tar.xz
 d4b685e300daf4417899c6bfba18b09daba3eba5 4408 eprover_3.1.0+ds-2.debian.tar.xz
Checksums-Sha256:
 7cc1d94bcd6511c8e54609ff8698352962bde97088a36d25fcb2968f80c0dbb9 1034252 eprover_3.1.0+ds.orig.tar.xz
 81dd86310d0215cf9c935763bf21a09ac34ad2c368d536693b9b0bb3aaa9b167 4408 eprover_3.1.0+ds-2.debian.tar.xz
Files:
 0dfbc863a7a39b13ab0979a8fabf84b9 1034252 eprover_3.1.0+ds.orig.tar.xz
 d39ac55ec65b32f960054fe3a2859554 4408 eprover_3.1.0+ds-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZoAh0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqiUQAJ8Lwua3Zo357MQSgdnwmbMrpsoHx89d
KR3+6wU6a0+ug88eWl93jwnLXLfXvXy9JmfZPAGyJM8qfLgvPpAxhNdjrgTojSOs
pLCutOy7G7/j5k7Cb/RCCr4cW+jEdTjRQN+vgJ4OfnosJlDPW5WbE2gK1ST3IWhj
885JA9BgX5KtG4xHl2tBuq1+h/O/SqyfZHWDq8oggjPsn4odda50Hehzspema+a7
UO6+zPGc6pKPXYTpNQPsNqXJdhdGs/oQ2oAjEar8WQsCnMT4z5dyjZxrU3WAXb4P
jj/9auBIcIdHDLp8hr4FqlA2yCMO+ZMvzCTUzhYSDKxwSzyh797IbXDsCbKh/R0A
yRFib19oUyXhctrewXQFB94Wq49ui2lwCvuU+IiciZoCl5EuGfdIiYVMofMqkjhw
IcrkdUlmKkVEHGawd1FTHgiKSQlE4OdQ51EAoz2WWaEKdYXSWRJ4kSC1Z4AmVQXu
vZ2vHCCU8suNFzohTGZwtFP9q+Raa9PG4p6Bg+WD3CpkQStaOgFyyL5nPwMuwrwo
c82VsMnHqCVa+lYqmaq5t4pL/ObPHGYGWD2kBSpSb3kPacBgMFx28Gy7floNOw9k
KxKffDVbbirRbzGETPtot0v2nLOekQZvdggF+LD9dYDVMcEx4+d5LyqKR5jIJcAt
Vtly3W53a39U
=wtW+
-----END PGP SIGNATURE-----