Accepted eprover 3.0.03+ds-1 (source) into unstable

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

Format: 1.8
Date: Tue, 12 Dec 2023 15:15:05 +0100
Source: eprover
Architecture: source
Version: 3.0.03+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044847
Changes:
 eprover (3.0.03+ds-1) unstable; urgency=medium
 .
   * New upstream release.
   * Refresh patches.
   * Fix clean target (Closes: #1044847).
Checksums-Sha1:
 e3cddf3db175a10eb2d036bafd874b75b3bb43e8 1934 eprover_3.0.03+ds-1.dsc
 9a9b9a33197ca3e90ccf4d961c201027bdcdbdc2 1031728 eprover_3.0.03+ds.orig.tar.xz
 cc176d9ffbad967065b94ee0221526c9dea252a4 4892 eprover_3.0.03+ds-1.debian.tar.xz
 ebdf4e1ead10c889679488fa2a0a635d75a809ad 6802 eprover_3.0.03+ds-1_source.buildinfo
Checksums-Sha256:
 93ba1c785238ba2d51b8273de93b0f6cfc79b7f7572363e2341e55a043ca3a46 1934 eprover_3.0.03+ds-1.dsc
 f94276e6862911bb1d81d7e7ad5c2535cef13864f1fe02f5b90b05f5a80e5f64 1031728 eprover_3.0.03+ds.orig.tar.xz
 235f25b56c7eea4b1d835ae3830f482d6d0080e2f3a53e908729473e7889de42 4892 eprover_3.0.03+ds-1.debian.tar.xz
 088410919da72779e1b197e5a6524b21b9c3d576de376c8b3bc4bdf57466f24a 6802 eprover_3.0.03+ds-1_source.buildinfo
Files:
 15216210a04afbc9dba3cb58374ea9d3 1934 math optional eprover_3.0.03+ds-1.dsc
 bffa5911331e1fa308f350b02a744f14 1031728 math optional eprover_3.0.03+ds.orig.tar.xz
 e25f0e927fced589604c9711464e202f 4892 math optional eprover_3.0.03+ds-1.debian.tar.xz
 e62793562fa50f5cabd28b0b23688702 6802 math optional eprover_3.0.03+ds-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmV4axkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjzIP/3zrgWwiMPI9ptC2Ar5+fgbDHjN0xEVj
NepgeFznzj0bSQ/hIaxCWrydzM9An2d6CFxoeKSahat8qbxJvna6Ut2o5A8nobKs
v70Dk7pkWEbPjlUHDx01uzyNftvA8D5wEDzcvfh7aNmEVENMVpgVMu1bQwI6gdO4
Ssiopd4+M4t3zldNSUoeMy5ynZb4+wyAXLLe9Cj1FBaSNdGLL2lj/HaLS8THFSj/
ZO8EctRv4jxumkTOKp/QMxRAXeReXfIpPQy8kdMrEbiPeJDv+E+gyss6/MNI1l8S
RGKGrhBD38QBwb3h8WxEe4oRGzwiaqO2I3QYDveHWw9MwYKP8yNSezUvREvx716Z
LF3+udN2F25zcvUS/rTdG0hTVx6KbeVVrX4K3hRmTBNiG1A53ebA0NN9XexG/Sl3
JHp621SRylXujUbM9tHoD+Sd5mkVyBRFJqXyz7YfffXiHMgauxVi50eywh19btNZ
L5kT+GTS7NnwIskTxGpCGqfFcdivCD0DeERBMqHWrrLPvf4t5H67C5svvc6oM7yh
N5IkAFr+6NrdHe4AriFo2izJ3Y0H7LSAtEqsodqLmVuN6fr3pmObyx+M4jsCt8BO
PVf+wtLw1DOCRY7PYGDuL4z5hysDarxOeZMIZSli1FQJpHhg/p/LgJ9ZVBLyu0aL
4DBwJ6x1NqMb
=HmOU
-----END PGP SIGNATURE-----