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

Format: 3.0 (quilt)
Source: eprover
Binary: eprover
Architecture: any
Version: 3.1.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:
 bdd8d56b8999a25a619decc891d399666ba810cc 1034252 eprover_3.1.0+ds.orig.tar.xz
 5ff2070eef7fe7952a09a0a5516dfcbb4eb5b2a0 4380 eprover_3.1.0+ds-1.debian.tar.xz
Checksums-Sha256:
 7cc1d94bcd6511c8e54609ff8698352962bde97088a36d25fcb2968f80c0dbb9 1034252 eprover_3.1.0+ds.orig.tar.xz
 c37652d755c7de071ff74ea91233ada7471b3139caaa5827caf4197142c03e76 4380 eprover_3.1.0+ds-1.debian.tar.xz
Files:
 0dfbc863a7a39b13ab0979a8fabf84b9 1034252 eprover_3.1.0+ds.orig.tar.xz
 da3fc7c998ece8383167bbf03a353143 4380 eprover_3.1.0+ds-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYznCQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYywQAJC9Zu4C5Jx2TzaZIq0YWb/sBZxsIvRj
TPQ9rl9/mRnHQar82RVPbKrqKx8W8+52x+iG30Vj3MJq5ZwiBkQKwCDqmtHmJzfU
Ij7B+hgIFECoKCdRk8HEXotgCM5F1CdV3XauaIKgF7ftIyfC3D53gyMvIQokW0NK
hh6srqmrJjWEY4TzJLZUIBFSQhKXQQkfJxknm+01T8TXPW/i1/z8kHTyVMbP4NZF
r+H5zQZGd/prdPJcMG2D62TA+SbuASpL7Jp1s7G2tzOAuwzUxihokEWYwc2kjU8d
B53z3YSTAO9FcLunDDC32Lr6EUdHEMso5235vnlAKpb3946juCSrJhXxvUgMXO97
4CXk67O4txXBArAEgKPXhqQ2hZo3EwitLiIkWTwbgqCjd6nLnnBmLKcYl67/eiBM
jeqgR+vTgSKF/0ffzUwKyaNuGt4Llb3Evr2Yq3ZjddCwCNCvWLMzGf7OzVjERkn/
M0zNci45Lw0OtiaPMCuTgwd6cTD6qfrwIEWah5KJ8VsMb6wG5i+daaQWB6/CJT//
7dZBpRS52mkXTze58hYFR2xW7uhXmbf3mj/+Qgwg1M1hIs4JyyFFb8EvjPWKG95R
tDlCmOrYLCWeelhBVHHALIdlgqeITK0tmXoPZLjlCSyy1YrsXOhI4AIq9FhYuoS5
ik192PZPoopA
=R2HU
-----END PGP SIGNATURE-----