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

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

Format: 1.8
Date: Thu, 02 May 2024 15:58:03 +0200
Source: eprover
Architecture: source
Version: 3.1.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.1.0+ds-1) unstable; urgency=medium
 .
   * Drop unused patch to simplify the Makefile.
   * New upstream release.
   * Bump standards-version to 4.7.0.
   * Refresh patches.
Checksums-Sha1:
 07e7898dcdb760f3c0a35835402d033085f06208 1927 eprover_3.1.0+ds-1.dsc
 bdd8d56b8999a25a619decc891d399666ba810cc 1034252 eprover_3.1.0+ds.orig.tar.xz
 5ff2070eef7fe7952a09a0a5516dfcbb4eb5b2a0 4380 eprover_3.1.0+ds-1.debian.tar.xz
 8c1225cc9b1050741e586ee8b83426293fd954ea 7068 eprover_3.1.0+ds-1_source.buildinfo
Checksums-Sha256:
 2a5a11f729f36e58e884f03f263b66f89dcffd4c8e040fec6c80971c1320b13e 1927 eprover_3.1.0+ds-1.dsc
 7cc1d94bcd6511c8e54609ff8698352962bde97088a36d25fcb2968f80c0dbb9 1034252 eprover_3.1.0+ds.orig.tar.xz
 c37652d755c7de071ff74ea91233ada7471b3139caaa5827caf4197142c03e76 4380 eprover_3.1.0+ds-1.debian.tar.xz
 8004f6853019b45ae8014ebe7ac898d32814e75c6cb404c0e38acffbe3384230 7068 eprover_3.1.0+ds-1_source.buildinfo
Files:
 e2876c340e08b69c1ba40970239fcf86 1927 math optional eprover_3.1.0+ds-1.dsc
 0dfbc863a7a39b13ab0979a8fabf84b9 1034252 math optional eprover_3.1.0+ds.orig.tar.xz
 da3fc7c998ece8383167bbf03a353143 4380 math optional eprover_3.1.0+ds-1.debian.tar.xz
 9170e93dcdd3d2407b7c4f7fa902db7c 7068 math optional eprover_3.1.0+ds-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYznCQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRTSYP/1ywJb4sjcCiLtoAecSSOtWtwuOHQWiN
Vdd0HhUQMTdPpq6w/MRUneIlNtWudVenNHfdWLXyA6+QQRUERBceVe3AwGBRMAvr
Q07c1k/eMJ9AOcZFMiLYEeFFelAooUKJbfigZzC6KjeKQf0BnDgefeOhfFSdrb4w
VYpM17v7qpWTX6bD2Dkgu1Pm5iRgI1r7rqXSKV1ah7hEepWEjM+MyNeRhlJn1+lv
PIbh5ff3aBN97jUmN8HMRYlvwb/NX5RqT2F2uzYWIcr1XFtcnwlPQrRL3Shwrbql
Ucjad+5zLHo1A90jiMIfmm99nam+uZFojHrgzUt06hkgRhaRS5W0kUhC9PmMrlyT
+wixKoz4bu5cDEJup3wvD/TcFpHoWW5pVqomvq8w0t8sHHrfiSurGsUDyngn0zBm
aSEOQVbcQU8mBnNeeRw2Ulh8RXShRunNBPiJU+Wb75dnw+29HL+DxJgXn6hYYqm+
dohjn9UckNgO9TZILXCl79/37KPzu0JKpqG4l2HOfxcN2Hu0ru3L5aIFYiPHe58l
9eN4jSC5GJSgaBZu1hUvdR6pRwbbDvwVKFamVYm2/KNm+Y3SZ1uC1Is0d9I7U6kc
QQoUISidnuAUO63GZvR+fk/6qJ/FrcLJeUrmpXk5f9G9KkUw499Kn9b0VWr4Ajyz
Xo/ZiFGSsQVK
=hFjU
-----END PGP SIGNATURE-----