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

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

Format: 1.8
Date: Fri, 18 Oct 2024 23:03:46 +0200
Source: eprover
Architecture: source
Version: 3.2.5+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.5+ds-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 c28f59149e52e01fe054ae925876c8b14d72dcfe 1927 eprover_3.2.5+ds-1.dsc
 a145d17fe65236a3b46a63a16ce76adc32b94e08 1035484 eprover_3.2.5+ds.orig.tar.xz
 dce43b0cf04359d402dc6ed6ff138b9a9577c5c9 4448 eprover_3.2.5+ds-1.debian.tar.xz
 74465642ed9781a25e56acc5ed787b9d64800ea3 5689 eprover_3.2.5+ds-1_source.buildinfo
Checksums-Sha256:
 f92a0085cb0877b44806f890044bf78c46e8d42a970a80cc028e7400e1ae1fb4 1927 eprover_3.2.5+ds-1.dsc
 a49af51a5d61596c172a60d6ab2607f66344ceb3926b2bd2f7a39fe8aec3346a 1035484 eprover_3.2.5+ds.orig.tar.xz
 1824a1aa5497593efed83886c9a0644647997ff61f6f5c4920ca8f7e8e4385bf 4448 eprover_3.2.5+ds-1.debian.tar.xz
 71ff33783814741f4413f9179cc7579b4fbfb1d783188dd85ac3b9a26d8e16ea 5689 eprover_3.2.5+ds-1_source.buildinfo
Files:
 7d29a4de317b7c8fa5c0f9592cf7e6e1 1927 math optional eprover_3.2.5+ds-1.dsc
 2def1cb0a3843b47907193cb22a83701 1035484 math optional eprover_3.2.5+ds.orig.tar.xz
 5a6f0a977494d739c546ff9f11a4a444 4448 math optional eprover_3.2.5+ds-1.debian.tar.xz
 70944702517e5434349199f3be06a621 5689 math optional eprover_3.2.5+ds-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmcSzWUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0eQP/jJa1J+l3Rb/yQQ+jRl8cYS3pfeX5+hR
bdyZNqVNw18YEd0siaM0XhH2I/R+qhpNmpGw/Qp/9TP/n5RbfHKbP/r3cMBHNjQ1
1l1Yqr4OFQ6RY38FWzyxQTnWqMmz4FBtcGKZKOOsfFx0m/POShX5JwEGy8rM38nI
XdPDEGO0mJVo1UNOPPVQAYjGoWn3mTKVl6Bh58DiqEEJLA1qMS98FRa4XNEfuM8g
eQzbiAHC2nkxs8kITGlCMl4syfK9gN0s+rxyDU/4707GERuFiJ/qVZNbhbMU+9Qe
Q77OPAMKd/zlR10jaj79+60rMc1t5scN9DIH86CY+JYCl4aEp6QViQJPEDzETizY
+nQiBGSCLhdYm11Ur3HlWx3lDKUw99KksorSIVfp1zJjiVWrNFl2tVNlSI3i912x
5sF+sVFvh4YaJfc74jqm3AzsDdICMjiXsLcnJXiKUf6f61EmqMQMpX32QTCAyP2A
6lEGDfCZQyLU/dm4/L9JIF/ies3RAZfzZ+MZIGd2OQZBy8eEjqhuSEzIkXltgKw4
KBs9qVNVuQMMrT2Kplv3cVvcpfr2eg0y68aS2Hz7wxz15HftXOXKJ+1cpgle/VMq
M6Y27ZJOCoh9M760INivOmhLJ7DBuf3DUrznrgMAK2ldwhP1m7YWc5fQSKPwk2rJ
wbr8rNaAQH6N
=A1Ox
-----END PGP SIGNATURE-----