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

Format: 3.0 (quilt)
Source: eprover
Binary: eprover
Architecture: any
Version: 2.6+ds-2
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:
 b25bdcd33ab85d42d2528924627282e5846f0756 1080164 eprover_2.6+ds.orig.tar.xz
 0fcab74a10530638fd1a0cb3f1f08a396c232cc9 10092 eprover_2.6+ds-2.debian.tar.xz
Checksums-Sha256:
 469c6485df0a8ac664d21c665f32b820ee41f77b2e3c71d7186de03d278df245 1080164 eprover_2.6+ds.orig.tar.xz
 8e399f73cf53269bade421f7f25de0886ccc83e9c4735c01a741548eff73c205 10092 eprover_2.6+ds-2.debian.tar.xz
Files:
 a9479a59b6b3ed4f5209c5f3b0d46488 1080164 eprover_2.6+ds.orig.tar.xz
 27e5a983a0c0893b09370bcc17886913 10092 eprover_2.6+ds-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLLP/0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRN0wP/3hTRTtQTAaFxGCbV0o9TdgCiyL0Wl14
Vne+mLk8E26VgnafZ9lqkpEr32R77LDIRun3PMSISSoWy7igwuC0/JFIKahURD35
71velObjKyHZE3CyWFgeLGt2yfdPxxv/Um6bc9CDwGUY4w17ejJDgwIoEXDetDBL
SO68p0IZIiUNEho8jsVMuZ4zj5kx2ShnaAjDUikA+dkhdXJ2pRXKfrQQOVkbi+dQ
QaFl9kNn1XW9W+WUwCpiPe0dyIm1uKkt76jZ2ySYCYKvRdoF7lDsQzj2nADLau2l
Wix3A4QmnfeOhYOPAt66tP1ZOP2Bi4RzKnWUQQYP9fyo4mknxFbKidgzBu6gvM+q
BJWY+a0tZ0O8uEcRCGETKjFwC/pgjhqh6T76/1kT+0rwCAQIBcyHL6FWC1ahWvAE
E+SygMH/RGVvBWWDxA+tbKvJx7popKr3G8RljlDqQXykMwfJLQxYpP29qbX7KW5X
Mxh+1WEBpvCVdkar1itZ95luZZPwAGJ+zBThSTLaCOC/hjercybJnuNOaROEAGbB
XRdDn5wt1BKaNp4daTXIlvoq5nCIrEVzkpE1zcKw3frLVsMP2HkjLsN+fV44AUjR
j1J1HyAIn9jpiySxfllAMLTM8YWKuLHrXu8pbQ3NNpdt+zOIQG7apcpJ4y+6O8n4
PvC5wRKy1sgJ
=p46V
-----END PGP SIGNATURE-----