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

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

Format: 1.8
Date: Mon, 17 Jun 2024 08:01:15 +0200
Source: eprover
Architecture: source
Version: 3.2.0+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 eprover (3.2.0+ds-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 a3975eb2055270bf8ee468bcd7559cc971cc2c5c 1927 eprover_3.2.0+ds-1.dsc
 eb63651d3b2a95c3866bc8f2b713582ba3bba022 1034320 eprover_3.2.0+ds.orig.tar.xz
 645965c98c8ba8785bc75c193bfdb85efd9675c8 4424 eprover_3.2.0+ds-1.debian.tar.xz
 bd099dc4b435a5db16fc4c0b54020caf81b83f0b 6823 eprover_3.2.0+ds-1_source.buildinfo
Checksums-Sha256:
 f5e93964615d12672c23d40049f5052be1a54ce7115e5d39dbae90b4fc3612b6 1927 eprover_3.2.0+ds-1.dsc
 0651353014007254744f537d690018dc55dfe3474ec7de4fc98a9122f989eff2 1034320 eprover_3.2.0+ds.orig.tar.xz
 9569ac361d6fb3ee985498f31fd258f1bbd21d785d61508e209f2f9cd0bf3d68 4424 eprover_3.2.0+ds-1.debian.tar.xz
 7b25ad273d387495ad3c1866e7d026938ce8fb118a7ab3e6d94dace5bda72231 6823 eprover_3.2.0+ds-1_source.buildinfo
Files:
 7b3e4196d51328969877e0ef45481316 1927 math optional eprover_3.2.0+ds-1.dsc
 0f9b6e46c7afeab749c37c8f3bf4b836 1034320 math optional eprover_3.2.0+ds.orig.tar.xz
 aca7f13d6aa7e5969c6b3021cd49eb3f 4424 math optional eprover_3.2.0+ds-1.debian.tar.xz
 423841641f436a4c56e16ccd0fa3278d 6823 math optional eprover_3.2.0+ds-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZv0VkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpRcP/jm2ZNMzSfZAUNcSRzls1JvBMXt/zir9
Z5iKbherdgzHF4TfUZmacOl5uti7us9MMcCmZ8tdnlKGlMF0xUEv+MqFwM+6A6JP
UmfOpLnYxNtd/OHlUFFYsUiQI5m+ic6PMoYZ47UqftV3amBqMTmsf3drgXB0jbvU
spSVknhUJpsf+9vVroZwvAOj3lUnVzfw6khfqDFGCXFnzRqsG7T+VPrMxMBbfbTg
e5Otr8f7Y4OmgFuC06q31t23yfHCVjBgC7R/rHWgI9ltNgX8T2kEc7glDc7bwJU2
wXRFiR3iSFv4FSv8VEJl0rnVXLfEvDBj8luQvium3IiQpp89q2fmsziR4mr4iZDi
sXzWPmmowwBYZUsKLjAYzne/8kclGbRNtnLinTolx7C9rSUmlwypkCG1L3bT3edy
wDnrclT3U83UftaqLcI1LfjT3uUnS8vcm+JwBUxZEvKinI7TZtYuxeGB5uEZxhAG
a+aBRe96tSw/PPa32/G0Xdyxo+tsYOP+dsvL/mgLPtcJzzzs/Gsjy50NWcfK5/jc
A4Er664a/QcpxGyAp0jpwOl/vDbDNAVHQPG5dpKRFWpiOWZZWB9lxlcYBUSkObHA
NA3Vdbwuzprbe+eJxX8i6Jk54I6cNmWchCXkvBx2lOSBLo8nwUC66lT0/M2ni1IO
RWgIE+lTg6XP
=0DIE
-----END PGP SIGNATURE-----