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

Format: 3.0 (quilt)
Source: eprover
Binary: eprover
Architecture: any
Version: 3.0.03+ds-1
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://eprover.org
Standards-Version: 4.6.1
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:
 9a9b9a33197ca3e90ccf4d961c201027bdcdbdc2 1031728 eprover_3.0.03+ds.orig.tar.xz
 cc176d9ffbad967065b94ee0221526c9dea252a4 4892 eprover_3.0.03+ds-1.debian.tar.xz
Checksums-Sha256:
 f94276e6862911bb1d81d7e7ad5c2535cef13864f1fe02f5b90b05f5a80e5f64 1031728 eprover_3.0.03+ds.orig.tar.xz
 235f25b56c7eea4b1d835ae3830f482d6d0080e2f3a53e908729473e7889de42 4892 eprover_3.0.03+ds-1.debian.tar.xz
Files:
 bffa5911331e1fa308f350b02a744f14 1031728 eprover_3.0.03+ds.orig.tar.xz
 e25f0e927fced589604c9711464e202f 4892 eprover_3.0.03+ds-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmV4axkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRengP/RSW2qQ9bvRLpm45KVElpv94tGHDnLKN
jNPyX3e5Gq1zR4l21AAbvmVwySoByvLkGaRaCMoNWR5DoCNvhy0ESqY7aEDQ5J85
DkXdkqlgHTzO6eHis0AVk5JtZbX3I+BwlL0qd828qThAdbQlGBGmHGG5+6fND4zT
YELSQd1jrgvh6jNSYfzolETuLsF0TfVblnjCP642X5DFhsctnijjHL/RaoKUEmFc
qPBnbeb3A/AMVxhVReaDoQQ0jRg13X6dZ/1AMljLBJVQbzJixnNKAOrdy05fYjIE
bWdVwZtahDhpNYWltek853eLF0jqobroPc4QODss3miC9zNAccU6/h3cbJHoY7kN
6sr9KrN2KKbn40FyDpimZ/A33YWVeYUoYY+bVI8mdDHXlGAREUhQcVajjasgQsbC
oEQWgI8m8Jl6r0B4Bc7o2oRHjE1WgQCbjwb4pvcJitr07ArIzL+LLBN1sx5j80pU
k4Hn6iZd0NEoFbZ/KPYjOMnpFUmfnAG4wiahUJi3LIX4G3MTCKenM1vBZzKE7B67
QWcY2m9RUf8NBuId7QzRll+ShaR+Y2MYApdU3dNn2GeCrjCwD3Rip3mdlq4zx6pH
FDLHEY/Ac9x0KDvFGOm24roOhGmXod8wMSa65ZLZYNfIqDLHCFBz5fBEDLBg2amd
AlENkq/0Iob8
=DOOV
-----END PGP SIGNATURE-----